A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.

Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Toms Vojnar

Browse the full RV paper archive.