CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools
Top Cited Papers
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 419-423
- https://doi.org/10.1007/11817963_38
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Automated Systematic Testing of Open Distributed ProgramsPublished by Springer Nature ,2006
- DARTPublished by Association for Computing Machinery (ACM) ,2005
- CIL: Intermediate Language and Tools for Analysis and Transformation of C ProgramsPublished by Springer Nature ,2002