TCS / Software / LIME

The LIME testbench

The LIME testbench is a collection of tools that allows concolic testing of Java programs. Concolic testing is also known as dynamic symbolic execution. It attempts to visit every possible execution path of the program under test.


Note: The software is only known to work on 64-bit Ubuntu Linux.




There is a user manual available for the tools. The manual and some more documentation is available under the doc directory of the distribution.

For more information, see the LIME2 project web page:

Latest update: 26 January 2012.