… called CUTE (Concolic Unit Testing Engine, where Concolic stands for cooperative Concrete
and symbolic execution). CUTE is available at http://osl.cs.uiuc.edu/∼ksen/cute/. CUTE …

… for concolic testing for programs, such as CREST [7], CUTE [19]… -centric concolic testing
engines for model testing by testing … Currently, concolic testing engines exist for only a handful of …

… CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and
automatically test sequential C … CUTE combines concrete and symbolic execution in a way that …

… hinder application of concolic testing to embedded software. To … (CONBOL) testing framework
to unit test large size industrial … developed, Among these concolic testing tools, CUTE [32] …

… compare random, concolic, and hybrid concolic testing on the VIM text editor (150K lines of
C code) and … Unlike the unit testing approaches adopted by CUTE or DART, we targeted to …

… addresses automatic unit test generation for programs written in C/C++… random test generation
methods, by utilizing concolic … Agha, “CUTE: A concolic unit testing engine for C,” in ESEC/…

… unit test generation and the existing research has not been able to report big successes yet.
… Coyote C++, a concolic-execution-based fully automated unit testing tool for C/C++ that can …

… We can see in Table 3 that 6 of the concolic testing tools are for C: Austin, CREST, CUTE,
DART and KLEE; 5 for Java: CATG, jCUTE, JDART, jFuzz and LCT; 2 for SQL language: …

… We used Yagg [9] to automatically generate symbolic strings from our symbolic yacc and
lex grammars and Cute [31] as our concolic testing engine. Cute was modified to handle …

… The remainder of this paper will use the terms concolic testing and … how concolic testing
and search based testing handle inputs of a primitive type only. This section explains how CUTE …