1. SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. TAF: a Tool for Diverse and Constrained Test Case Generation;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
3. First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving;Electronic Proceedings in Theoretical Computer Science;2021-09-06
4. AlloyMax: bringing maximum satisfaction to relational specifications;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
5. How Can Reasoners Simplify Database Querying (And Why Haven't They Done It Yet)?;Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2018-05-27