Detecting behavior anomalies in graphical user interfaces. - Vitalii Avdiienko; Konstantin Kuznetsov 001; Isabelle Rommelfanger; Andreas Rau 001; Alessandra Gorla; Andreas Zeller (ICSE (Companion Volume), 2017)