Abstract | ||
---|---|---|
In this paper, we describe (con)2colic testing - a systematic testing approach for concurrent software. Based on concrete and symbolic executions of a concurrent program, (con)2colic testing derives inputs and schedules such that the execution space of the program under investigation is systematically explored. We introduce interference scenarios as key concept in (con)2colic testing. Interference scenarios capture the flow of data among different threads and enable a unified representation of path and interference constraints. We have implemented a (con)2colic testing engine and demonstrate the effectiveness of our approach by experiments. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1145/2491411.2491453 | ESEC / SIGSOFT FSE |
Keywords | DocType | Citations |
key concept,execution space,concurrent program,concurrent software,different thread,symbolic execution,unified representation,interference constraint,systematic testing approach,interference scenario,Con2colic testing | Conference | 12 |
PageRank | References | Authors |
0.51 | 15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Azadeh Farzan | 1 | 438 | 23.35 |
Andreas Holzer | 2 | 197 | 13.62 |
Niloofar Razavi | 3 | 66 | 4.08 |
Helmut Veith | 4 | 2476 | 140.58 |