Name
Abstract | ||
|---|---|---|
This article focuses on computing minimal test suites for multithreaded programs. Based on previous work on test case generation for multithreaded programs using unfoldings, this article shows how this unfolding can be used to generate minimal test suites covering all local states of the program. Generating such minimal test suites is shown to be NP-complete in the size of the unfolding. We propose an SMT encoding for this problem and two methods based on heuristics which only approximate the solution, but scale better in practice. Finally, we apply our methods to compute the minimal test suites for several benchmarks. |
Year | DOI | Venue |
|---|---|---|
2017 | 10.1145/3012281 | ACM Trans. Embedded Comput. Syst. |
Keywords | Field | DocType |
Testing,unfolding,event structure,SMT-encoding | Computer science,Parallel computing,Real-time computing,Heuristics,Event structure,Encoding (memory) | Journal |
Volume | Issue | ISSN |
16 | 2 | 1539-9087 |
Citations | PageRank | References |
1 | 0.38 | 15 |
Authors | ||
5 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Olli Saarikivi | 1 | 47 | 7.43 |
| Hernán Ponce de León | 2 | 7 | 2.16 |
| Kari Kähkönen | 3 | 29 | 3.07 |
| Keijo Heljanko | 4 | 751 | 47.90 |
| Javier Esparza | 5 | 1819 | 147.63 |