Contessa: Concurrency Testing Augmented with Symbolic Analysis.

Sudipta Kundu, Malay K. Ganai, Chao Wang

Browse the full CAV paper archive.