Author:
Sullivan Allison,Wang Kaiyuan,Zaeem Razieh Nokhbeh,Khurshid Sarfraz
Cited by
34 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrating Mutation Techniques to Keep Specification and Source Code in Sync;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Crucible: Graphical Test Cases for Alloy Models;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09
3. 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
4. Mutation Testing for Temporal Alloy Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
5. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11