Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur. A platform for search-based testing of concurrent software. In João Lourenço, editor, Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2010, Trento, Italy, July 12-16, 2010. pages 48-58, ACM, 2010. [doi]
Abstract is missing.