Author:
Zheng Guolong,Nguyen ThanhVu,Gutierrez Brida Simon,Regis German,Frias Marcelo F.,Aguirre Nazareno,Bagheri Hamid
Funder
Arm
National Science Foundation
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Crucible: Graphical Test Cases for Alloy Models;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09
2. 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
3. Mutation Testing for Temporal Alloy Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01
4. Trace Diagnostics for Signal-Based Temporal Properties;IEEE Transactions on Software Engineering;2023-05-01
5. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10