Korat
- 1 July 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes
- Vol. 27 (4), 123-133
- https://doi.org/10.1145/566171.566191
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- A micromodularity mechanismPublished by Association for Computing Machinery (ACM) ,2001
- Generating effective symmetry-breaking predicates for search problemsElectronic Notes in Discrete Mathematics, 2001
- The pointer assertion logic enginePublished by Association for Computing Machinery (ACM) ,2001
- Finding bugs with a constraint solverPublished by Association for Computing Machinery (ACM) ,2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- The design and implementation of an intentional naming systemPublished by Association for Computing Machinery (ACM) ,1999
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- The model checker SPINIEEE Transactions on Software Engineering, 1997
- Model checking for programming languages using VeriSoftPublished by Association for Computing Machinery (ACM) ,1997
- Toward a theory of test data selectionACM SIGPLAN Notices, 1975