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