Sciweavers

Share
CAV
2010
Springer

Contessa: Concurrency Testing Augmented with Symbolic Analysis

9 years 7 months ago
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete execution) with symbolic analysis in a scalable and efficient manner to explore both thread interleaving and input data space. It is built on partial-order reduction techniques that generate verification conditions with reduced size and search space. It also provides a visual support for debugging the witness traces. We show its significance in testbeds.
Sudipta Kundu, Malay K. Ganai, Chao Wang
Added 17 Aug 2010
Updated 17 Aug 2010
Type Conference
Year 2010
Where CAV
Authors Sudipta Kundu, Malay K. Ganai, Chao Wang
Comments (0)
books