A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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. In Saddek Bensalem, Doron Peled, editors, Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers. Volume 5779 of Lecture Notes in Computer Science, pages 101-114, Springer, 2009. [doi]

This author has not been identified. Look up 'Bohuslav Krena' in GoogleThis author has not been identified. Look up 'Zdenek Letko' in GoogleThis author has not been identified. Look up 'Yarden Nir-Buchbinder' in GoogleThis author has not been identified. Look up 'Rachel Tzoref-Brill' in GoogleThis author has not been identified. Look up 'Shmuel Ur' in GoogleThis author has not been identified. Look up 'TomÃ¡s Vojnar' in Google

runs on WebDSL