Publications:
Minimizing GUI Event Traces

Lazaro Clapp, Osbert Bastani, Saswat Anand, Alex Aiken
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), 2016.

PDF
Modelgen: Mining Explicit Information Flow Specifications from Concrete Executions

Lazaro Clapp, Saswat Anand, Alex Aiken
ACM International Symposium on Software Testing and Analysis (ISSTA), 2015.