… 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 …

… unit testing of models of real-time embedded systems by conducting concolic testing, a hybrid
testing … Later CUTE [60] was introduced to support pointers as input parameters. CREST […

… CUTE (Concolic Unit Test Engine) for C program. This tool address the problem of automated
unit testing … based on combination of Concolic and symbolic testing techniques. They have …

… I have implemented our technique in two publicly available tools, called CUTE (concolic
Unit Testing Engine) and jCUTE, for testing C and Java programs respectively. jCUTE also …

… At present, we consider only the unit testing of a system, however other testing techniques
(… a concolic tester jCUTE (Java Concolic Unit Testing Engine) to generate the white-box test …

… 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: …

… unit (Sect. 2.4). This false alarm problem is a serious obstacle to apply automated unit testing
… developed an automated unit testing framework CONBRIO (CONcolic unit testing with sym-…

… 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 …

… an initial test case by our binarylevel concolic execution engine which generates new test
… First, our concolic execution engine concretely simulates a SystemC binary in a native …

… test case generation. In order to practically utilize automated unit testing tools in the field, we
propose that a testing … Agha, “Cute and jcute: Concolic unit testing and explicit path model-…