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 Tomás Vojnar A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. 101-114 2009 RV http://dx.doi.org/10.1007/978-3-642-04694-0_8 conf/rv/2009 db/conf/rv/rv2009.html#KrenaLNTUV09