Author:
Akhawe Devdatta,Barth Adam,Lam Peifung E.,Mitchell John,Song Dawn
Cited by
125 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. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. WebSpec: Towards Machine-Checked Analysis of Browser Security Mechanisms;2023 IEEE Symposium on Security and Privacy (SP);2023-05