CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.

Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen

Browse the full CAV paper archive.