The Java Concolic Unit Testing Engine (jCUTE) automatically generates unit tests for Java programs. Concolic execution combines randomized concrete execution with symbolic execution and automatic constraint solving. Symbolic execution allows jCUTE to discern inputs that lead down different execution paths; randomized concrete execution helps it overcome limitations of the constraint solver, like the inability to analyze system calls or solve general systems of non-linear integer equations. Through this combination, jCUTE is able to generate test cases that execute many different execution paths in real Java programs. jCUTE supports multi-threaded programs. It can discover race conditions and deadlocks through systematic schedule exploration.
Keywords for this software
References in zbMATH (referenced in 9 articles )
Showing results 1 to 9 of 9.
- Godefroid, Patrice; Sen, Koushik: Combining model checking and testing (2018)
- Lauko, Henrich; Ročkai, Petr; Barnat, Jiří: Symbolic computation via program transformation (2018)
- Saarikivi, Olli; Heljanko, Keijo: LCTD: test-guided proofs for C programs on LLVM (2016)
- Kim, Moonzoo; Kim, Yunho; Choi, Yunja: Concolic testing of the multi-sector Read operation for flash storage platform software (2012) ioport
- Bjørner, Nikolaj; Tillmann, Nikolai; Voronkov, Andrei: Path feasibility analysis for string-manipulating programs (2009)
- Kuliamin, V. V.: Integration of verification methods for program systems (2009)
- Zybin, R. S.; Kuliamin, V. V.; Ponomarenko, A. V.; Rubanov, V. V.; Chernov, E. S.: Automation of broad sanity test generation (2008)
- Sen, Koushik; Agha, Gul: CUTE and jCUTE: concolic unit testing and explicit path model-checking tools (2006) ioport