Lazaro Clapp Osbert Bastani Saswat Anand Alex Aiken Minimizing GUI event traces. 422-434 2016 SIGSOFT FSE https://doi.org/10.1145/2950290.2950342 conf/sigsoft/2016 db/conf/sigsoft/fse2016.html#ClappBAA16