Concolic Testing of Concurrent Programs
Authors: Azadeh Farzan, Andreas Holzer, Niloofar Razavi and Helmut Veith
Paper Information
| Title: | Concolic Testing of Concurrent Programs |
| Authors: | Azadeh Farzan, Andreas Holzer, Niloofar Razavi and Helmut Veith |
| Proceedings: | EC2 2014 Short Papers |
| Editors: | Michael Emmi and Akash Lal |
| Keywords: | Concurrency Testing, Interference Scenarios, Concolic Testing, Directed Testing, Systematic Testing |
| Abstract: | ABSTRACT. We survey our research on concolic testing of concurrent programs. Based on concrete and symbolic executions of a concurrent program, our testing techniques derive inputs and schedules such that the execution space of the program under investigation is systematically explored. We will focus on con2colic testing which introduces interference scenarios. Interference scenarios capture the flow of data among different threads and enable a unified representation of path and interference constraints. |
| Pages: | 0 |
| Talk: | Jul 17 09:45 |
| Paper: |  |