Sudipta Kundu, Malay K. Ganai, Chao Wang
Contessa: Concurrency Testing Augmented with Symbolic Analysis
CAV, 2010.
@inproceedings{CAV-2010-KunduGW, author = "Sudipta Kundu and Malay K. Ganai and Chao Wang", booktitle = "{Proceedings of the 22nd International Conference on Computer Aided Verification}", doi = "10.1007/978-3-642-14295-6_13", isbn = "978-3-642-14294-9", pages = "127--131", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Contessa: Concurrency Testing Augmented with Symbolic Analysis}", volume = 6174, year = 2010, }