134
W. Wang et al.
63. Leslie G. Valiant. The complexity of enumeration and reliability problems. SIAM
J. Comput., 8:410–421, 1979.
64. Guy Van Den Broeck. First-order model counting in a nutshell. In Twenty-Fifth
International Joint Conference on Artificial Intelligence, pages 4086–4089, 2016.
65. Marko Vasic, David Soloveichik, and Sarfraz Khurshid. CRNs exposed: Systematic
exploration of chemical reaction networks. CoRR, abs/1912.06197, 2019.
66. E. J. Weyuker and T. J. Ostrand. Theories of program testing and the application
of revealing subdomains. TSE, 6(3):236–246, May 1980.
67. John Wickerson, Mark Batty, Tyler Sorensen, and George A. Constantinides. Automatically comparing memory consistency models. In 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), pages 190–204, 2017.
68. Tao Xie, Darko Marinov, Wolfram Schulte, and David Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In 11th
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 365–381, 2005.
69. Razieh Nokhbeh Zaeem and Sarfraz Khurshid. Contract-based data structure repair using Alloy. In ECOOP, pages 577–598, 2010.
70. Pamela Zave. How to make Chord correct (using a stable base). CoRR,
abs/1502.06461, 2015.
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/
4.0/), which permits use, sharing, adaptation, distribution and reproduction in any
medium or format, as long as you give appropriate credit to the original author(s) and
the source, provide a link to the Creative Commons license and indicate if changes
were made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.
W. Wang et al.
63. Leslie G. Valiant. The complexity of enumeration and reliability problems. SIAM
J. Comput., 8:410–421, 1979.
64. Guy Van Den Broeck. First-order model counting in a nutshell. In Twenty-Fifth
International Joint Conference on Artificial Intelligence, pages 4086–4089, 2016.
65. Marko Vasic, David Soloveichik, and Sarfraz Khurshid. CRNs exposed: Systematic
exploration of chemical reaction networks. CoRR, abs/1912.06197, 2019.
66. E. J. Weyuker and T. J. Ostrand. Theories of program testing and the application
of revealing subdomains. TSE, 6(3):236–246, May 1980.
67. John Wickerson, Mark Batty, Tyler Sorensen, and George A. Constantinides. Automatically comparing memory consistency models. In 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), pages 190–204, 2017.
68. Tao Xie, Darko Marinov, Wolfram Schulte, and David Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In 11th
International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 365–381, 2005.
69. Razieh Nokhbeh Zaeem and Sarfraz Khurshid. Contract-based data structure repair using Alloy. In ECOOP, pages 577–598, 2010.
70. Pamela Zave. How to make Chord correct (using a stable base). CoRR,
abs/1502.06461, 2015.
Open Access This chapter is licensed under the terms of the Creative Commons
Attribution 4.0 International License (http://creativecommons.org/licenses/by/
4.0/), which permits use, sharing, adaptation, distribution and reproduction in any
medium or format, as long as you give appropriate credit to the original author(s) and
the source, provide a link to the Creative Commons license and indicate if changes
were made.
The images or other third party material in this chapter are included in the chapter’s
Creative Commons license, unless indicated otherwise in a credit line to the material. If
material is not included in the chapter’s Creative Commons license and your intended
use is not permitted by statutory regulation or exceeds the permitted use, you will need
to obtain permission directly from the copyright holder.