Latest research projects, publications, and talks
Porting Mobile App Functionality across Platforms [talk]
Posted
Zhaoqing (Andrew) Li (undergraduate research assistant), Mattia Fazzini (assistant professor)
Virtual Undergraduate Research Symposium
Proving the Shalls: Early Validation of Requirements Through Formal Methods [preprint]
Posted
Steven P. Miller, Alan C. Tribble, Michael W. Whalen (adjunct assistant professor), Mats P. E. Heimdahl (professor)
SN4KE: Practical Mutation Testing at Binary Level [preprint]
Posted
Mohsen Ahmadi, Pantea Kiaei, Navid Emamdoost (Ph.D. student)
Compositional Behavioral Fault Analysis [thesis]
Posted
Danielle Stewart (Ph.D. 2021)
Inductive Validity Cores [journal]
Posted
Elaheh Ghassabani (Ph.D. 2018), Michael Whalen (adjunct assistant professor), Andrew Gacek (adjunct assistant professor), Mats Heimdahl (professor)
IEEE Transactions on Software Engineering
Strategic tree rewriting in attribute grammars [conference paper]
Posted
Lucas Kramer (Ph.D. student), Eric Van Wyk (professor)
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2020)
Strategic Term Rewriting in Attribute Grammars [conference paper]
Posted
Lucas Kramer (Ph.D. student), Eric Van Wyk (associate professor)
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2020- Distinguish Paper award winner
Monadification of Attribute Grammars [conference paper]
Posted
Dawn Michaelson (Ph.D. student), Eric Van Wyk (associate professor)
13th ACM SIGPLAN International Conference on Software Language Engineering (SLE)
Java Ranger: statically summarizing regions for efficient symbolic execution of Java [conference paper]
Posted
Vaibhav Sharma (Ph.D. student), Soha Hussein, Michael W Whalen (adjunct assistant professor), Stephen McCamant (associate professor), Willem Visser
28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Managing App Testing Device Clouds: Issues and Opportunities [conference paper]
Posted
Mattia Fazzini (assistant professor), Alessandro Orso
35th IEEE/ACM International Conference on Automated Software Engineering (ASE), LBR track