TY - GEN
T1 - Concurrent test generation using concolic multi-trace analysis
AU - Razavi, Niloofar
AU - Ivančić, Franjo
AU - Kahlon, Vineet
AU - Gupta, Aarti
PY - 2012
Y1 - 2012
N2 - Discovering concurrency bugs is inherently hard due to the nondeterminism in multi-thread scheduling. Predictive analysis techniques have been successfully used to find such bugs by observing given test runs, and then searching for other interesting thread interleavings. For sequential code, concolic execution techniques have been used successfully to generate interesting test inputs to increase structural code coverage such as branch or statement coverage. In this paper, we propose the use of a concolic multi-trace analysis (CMTA) to efficiently increase code coverage in concurrent programs. We have implemented CMTA, and show encouraging results for some interesting benchmark programs.
AB - Discovering concurrency bugs is inherently hard due to the nondeterminism in multi-thread scheduling. Predictive analysis techniques have been successfully used to find such bugs by observing given test runs, and then searching for other interesting thread interleavings. For sequential code, concolic execution techniques have been used successfully to generate interesting test inputs to increase structural code coverage such as branch or statement coverage. In this paper, we propose the use of a concolic multi-trace analysis (CMTA) to efficiently increase code coverage in concurrent programs. We have implemented CMTA, and show encouraging results for some interesting benchmark programs.
UR - http://www.scopus.com/inward/record.url?scp=84872239834&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84872239834&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-35182-2_17
DO - 10.1007/978-3-642-35182-2_17
M3 - Conference contribution
AN - SCOPUS:84872239834
SN - 9783642351815
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 239
EP - 255
BT - Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings
T2 - 10th Asian Symposium on Programming Languages and Systems, APLAS 2012
Y2 - 11 December 2012 through 13 December 2012
ER -