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.
jCUTE alternatives and similar libraries
Based on the "Formal Verification" category
Behavioral interface specification language that can be used to specify the behavior of code modules. It combines the design by contract approach of Eiffel and the model-based specification approach of the Larch family of interface specification languages, with some elements of the refinement calculus. Used by several other verification tools.
* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.
Do you think we are missing an alternative of jCUTE or a related project?