swMATH ID: 26692
Software Authors: Koushik Sen
Description: 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.
Homepage: http://osl.cs.illinois.edu/software/jcute/
Source Code:  https://github.com/osl/jcute
Related Software: CUTE; DART; KLEE; Pex; z3; Java PathFinder; BLAST; STP; Jalangi; SMT-LIB; CBMC; LLVM; ExpoSE; CIL; JPF-SE; SLAM; CPAchecker; Boogie; YOGI; SpecExplorer
Cited in: 11 Publications

Citations by Year