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

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

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

… In a first step we created specialized unit tests which target specific functions and modules.
… Agha, “CUTE: A Concolic Unit Testing Engine for C,” in Proceedings of the 10th European …

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

… The instrumented trace is replayed in a concolic/symbolic engine to generate new system-level
test cases that either explore new paths of the SoC stack or trigger assertions. …

… AS4UT is an improvement of concolic testing method for unit testing in case the unit calls
others. The main idea of AS4UT is to replace function calls in the given unit with …

… , etc.), there are almost no automated unit testing tool publicly available for real-world C++
programs. We have developed a new automated unit testing tool CITRUS that resolves the …

… Both DART[13] and CUTE[14] are early concolic execution frameworks, which work at the …
We choose the Dynamic Test Generation method to implement our concolic execution …

… (1) only generating concolic test cases for functions that are accessible within the unit test, ie,
… on the foundation of CUTE, where a breadthfirst search concolic testing is run to attain wide …