Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen. CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. In Hans-Juergen Boehm, Luis Ceze, editors, 4th USENIX Workshop on Hot Topics in Parallelism, HotPar'12, Berkeley, CA, USA, June 7-8, 2012. USENIX Association, 2012. [doi]
Abstract is missing.