A Study of Symmetry Breaking Predicates and Model Counting-Reference-Cited by-同舟云学术

A Study of Symmetry Breaking Predicates and Model Counting

Published:2020 Issue: Volume: Page:115-134
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Wang Wenxi,Usman Muhammad,Almaawi Alyas,Wang Kaiyuan,Meel Kuldeep S.,Khurshid Sarfraz

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-45190-5_7

Reference70 articles.

1. Alloy GitHub repository, 2019. https://github.com/AlloyTools/org.alloytools.alloy .

2. Alloy models repository, 2019. https://github.com/AlloyTools/models .

3. BreakID BitBucket repository, 2019. https://bitbucket.org/krr/breakid/src/master/ .

4. Kodkod examples repository, 2019. https://github.com/emina/kodkod/tree/master/examples .

5. Kodkod GitHub repository, 2019. https://github.com/emina/kodkod .

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. New Techniques for Static Symmetry Breaking in Many-Sorted Finite Model Finding;IEEE Transactions on Software Engineering;2023

2. SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

3. Compact Symmetry Breaking for Tournaments;Form Comp Aid Design;2022

4. TestMC;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21

5. AlloyMC: Alloy meets model counting;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07