CompoSAT: Specification-Guided Coverage for Model Finding-Reference-Cited by-同舟云学术

CompoSAT: Specification-Guided Coverage for Model Finding

Published:2018 Issue: Volume: Page:568-587
ISSN:0302-9743
Container-title:Formal Methods
language:
Short-container-title:

Author:

Porncharoenwase Sorawee,Nelson Tim,Krishnamurthi Shriram

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-95582-7_34

Reference59 articles.

1. Jackson, D.: Software Abstractions: Logic, Language, and Analysis, 2nd edn. MIT Press, Cambridge (2012)

2. Nelson, T., Barratt, C., Dougherty, D.J., Fisler, K., Krishnamurthi, S.: The Margrave tool for firewall analysis. In: USENIX Large Installation System Administration Conference (2010)

3. Lecture Notes in Computer Science;S Maoz,2011

4. Lecture Notes in Computer Science;S Maoz,2011

5. Akhawe, D., Barth, A., Lam, P., Mitchell, J., Song, D.: Towards a formal foundation of web security. In: IEEE Computer Security Foundations Symposium (2010)

Cited by 11 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