Latest research projects, publications, and talks
A Framework for Automated Test Mocking of Mobile Apps [conference paper]
Posted
Mattia Fazzini (assistant professor), Alessandra Gorla, Alessandro Orso
35th IEEE/ACM International Conference on Automated Software Engineering
APIMigrator: An API-Usage Migration Tool for Android Apps [conference paper]
Posted
Mattia Fazzini (assistant professor), Qi Xin, Alessandro Orso
Proceedings of the 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)
Future challenges in mobile software engineering [conference panel]
Posted
John Grundy, Denys Poshyvanyk, Christine Julien, Mattia Fazzini (assistant professor), Scott Barnett, Mario Linares-Vasquez, Patanamon Thongtanunam
Proceedings of the 6th International Conference on Mobile Software Engineering and Systems (MOBILESoft)
Structural Bit-vector Model Counting [conference paper]
Posted
Seonmo Kim (Ph.D. student), Stephen McCamant (associate professor)
18th International Workshop on Satisfiability Modulo Theories (SMT)
The Software Language Extension Problem [journal]
Posted
Manuel Leduc, Thomas Degueule, Eric Van Wyk (associate professor), Benoit Combemale
Software and Systems Modeling
It Doesn't Have to Be So Hard: Efficient Symbolic Reasoning for CRCs [conference paper]
Posted
Vaibhav Sharma (Ph.D. student), Navid Emamdoost (Ph.D. student), Seonmo Kim (Ph.D. student), Stephen McCamant (associate professor)
Workshop on Binary Analysis Research (BAR)
Adapter Synthesis: Synthesizing And Repairing Programs Using Scalable Symbolic Execution [thesis]
Posted
Vaibhav Sharma (Ph.D. 2020)