Author:
Sullivan Allison,Marinov Darko,Khurshid Sarfraz
Publisher
Springer International Publishing
Reference52 articles.
1. Alloy analyzer Website (2019).
http://alloytools.org
2. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, Cambridge (2008)
3. Bagheri, H., Kang, E., Malek, S., Jackson, D.: A Formal Approach for Detection of Security Flaws in the Android Permission System. Formal Aspects of Computing. Springer, London (2018).
https://doi.org/10.1007/s00165-017-0445-z
4. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: ISSTA (2002)
5. CheckMate GitHub (2019).
https://github.com/ctrippel/checkmate
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
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. Live Programming for Finite Model Finders;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Abstract Alloy Instances;Formal Methods;2023
4. Parasol: efficient parallel synthesis of large model spaces;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
5. REACH: Refining Alloy Scenarios by Size (Tools and Artifact Track);2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10