CUTE
Top Cited Papers
- 1 September 2005
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 30 (5), 263-272
- https://doi.org/10.1145/1081706.1081750
Abstract
In to explore all feasible execution paths. The current work develops a method to represent and track constraints that capture the behavior of a symbolic execution of a unit with memory graphs as inputs. Moreover, an efficient constraint solver is proposed to facilitate incremental generation of such test inputs. Finally, CUTE, a tool implementing the method is described together with the results of applying CUTE to real-world examples of C code.Keywords
This publication has 15 references indexed in Scilit:
- Eclat: Automatic Generation and Classification of Test InputsLecture Notes in Computer Science, 2005
- Execution Generated Test Cases: How to Make Systems Code Crash ItselfLecture Notes in Computer Science, 2005
- Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic ExecutionLecture Notes in Computer Science, 2005
- Test input generation with java PathFinderPublished by Association for Computing Machinery (ACM) ,2004
- JCrasher: an automatic robustness tester for JavaSoftware: Practice and Experience, 2004
- CVC Lite: A New Implementation of the Cooperating Validity CheckerLecture Notes in Computer Science, 2004
- KoratPublished by Association for Computing Machinery (ACM) ,2002
- Generating finite state machines from abstract state machinesPublished by Association for Computing Machinery (ACM) ,2002
- A semantic model of program faultsPublished by Association for Computing Machinery (ACM) ,1996
- Correctness of a compiler for arithmetic expressionsProceedings of Symposia in Applied Mathematics, 1967