Concurrent test generation using concolic multi-trace analysis

Niloofar Razavi; Franjo Ivančić; Vineet Kahlon; Aarti Gupta

doi:10.1007/978-3-642-35182-2_17

Concurrent test generation using concolic multi-trace analysis

Niloofar Razavi, Franjo Ivančić, Vineet Kahlon, Aarti Gupta

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

15 Scopus citations

Abstract

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.

Original language	English (US)
Title of host publication	Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings
Pages	239-255
Number of pages	17
DOIs	https://doi.org/10.1007/978-3-642-35182-2_17
State	Published - 2012
Event	10th Asian Symposium on Programming Languages and Systems, APLAS 2012 - Kyoto, Japan Duration: Dec 11 2012 → Dec 13 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7705 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	10th Asian Symposium on Programming Languages and Systems, APLAS 2012
Country/Territory	Japan
City	Kyoto
Period	12/11/12 → 12/13/12

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-35182-2_17

Cite this

Razavi, N., Ivančić, F., Kahlon, V., & Gupta, A. (2012). Concurrent test generation using concolic multi-trace analysis. In Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings (pp. 239-255). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7705 LNCS). https://doi.org/10.1007/978-3-642-35182-2_17

@inproceedings{9d213481284a443aa7806682d2128ab4,

title = "Concurrent test generation using concolic multi-trace analysis",

abstract = "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.",

author = "Niloofar Razavi and Franjo Ivan{\v c}i{\'c} and Vineet Kahlon and Aarti Gupta",

year = "2012",

doi = "10.1007/978-3-642-35182-2_17",

language = "English (US)",

isbn = "9783642351815",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "239--255",

booktitle = "Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings",

note = "10th Asian Symposium on Programming Languages and Systems, APLAS 2012 ; Conference date: 11-12-2012 Through 13-12-2012",

}

Razavi, N, Ivančić, F, Kahlon, V & Gupta, A 2012, Concurrent test generation using concolic multi-trace analysis. in Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7705 LNCS, pp. 239-255, 10th Asian Symposium on Programming Languages and Systems, APLAS 2012, Kyoto, Japan, 12/11/12. https://doi.org/10.1007/978-3-642-35182-2_17

Concurrent test generation using concolic multi-trace analysis. / Razavi, Niloofar; Ivančić, Franjo; Kahlon, Vineet et al.
Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. 2012. p. 239-255 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7705 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 -

Razavi N, Ivančić F, Kahlon V, Gupta A. Concurrent test generation using concolic multi-trace analysis. In Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. 2012. p. 239-255. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-35182-2_17

Concurrent test generation using concolic multi-trace analysis

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this