smt solver on the smt formula for generating a new concurrent test comprising input values thread schedules and parts of thread selections and executing the new concurrent test application_number US 201313874702 A description a concolic multi trace analysis cmta system that efficiently increases code coverage in concurrent programs is disclosed fig1 shows a high level overview of a system to increase code coverage analysis a concurrent program under test 10 is provided to an automatic test generator 20 for a given concurrent program the system generates test inputs and thread schedules of interest the system focuses on tests that increase the structural code coverage of the program under test the automatic test generator utilizes two procedures to generate tests one is a sequential concolic execution and the other test allows concolic execution and predictive analysis of multiple test runs together called concolic multi trace analysis abbreviated cmta the result including generated tests inputs and schedule is stored in a database 30 this system addresses the test generation problem for concurrent multi threaded programs the system addresses the generation of tests that will increase structural coverage of such programs thus we are not necessarily interested in covering all possible thread interleavings unless this would increase structural coverage as well however having generated a set of relevant test inputs it is always possible to perform a full predictive analysis as discussed above for each such test input the system can use interesting def use pairs where a definition def represents a write of a shared variable in some thread and a use represents a read of that variable in some other thread the system can search over the space of such def use pairs and.