LIME Concolic Tester (LCT) is an open source automated testing tool that allows testing both sequential and multithreaded Java programs. The tool uses concolic testing to handle input values and Dynamic Partial Order Reduction (DPOR) combined with sleep sets to avoid exploring unnecessary inter-leavings of threads. The LCT tool has been designed for distributed use ...