1. Integrating Testing into the Alloy Model Development Workflow;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
2. ATR: template-based repair for Alloy specifications;Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18
3. Flair: efficient analysis of Android inter-component vulnerabilities in response to incremental changes;Empirical Software Engineering;2021-04-09
4. Platinum: Reusing Constraint Solutions in Bounded Analysis of Relational Logic;Fundamental Approaches to Software Engineering;2020
5. Efficient, Evolutionary Security Analysis of Interacting Android Apps;2018 IEEE International Conference on Software Maintenance and Evolution (ICSME);2018-09