Contessa: Concurrency Testing Augmented with Symbolic Analysis [chapter]

Sudipta Kundu, Malay K. Ganai, Chao Wang
2010 Lecture Notes in Computer Science  
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.
more » ... We show its significance in testbeds. Sudipta Kundu worked on the project as an intern at NECLA. He is now at Synopsys Inc.
doi:10.1007/978-3-642-14295-6_13 fatcat:uqungfbxpvd4vaifzrmv56z3hi