An Integrated Framework for Checking Concurrency-Related Programming Errors.

Qichang Chen, Liqiang Wang

Browse the full COMPSAC paper archive.