João M. Lourenço, Jan Fiedor, Bohuslav Krena, Tomás Vojnar. Discovering Concurrency Errors. In Ezio Bartocci, Yliès Falcone, editors, Lectures on Runtime Verification - Introductory and Advanced Topics. Volume 10457 of Lecture Notes in Computer Science, pages 34-60, Springer, 2018. [doi]
Abstract is missing.