Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar. Testing of Concurrent Programs Using Genetic Algorithms. In Gordon Fraser, Jerffeson Teixeira de Souza, editors, Search Based Software Engineering - 4th International Symposium, SSBSE 2012, Riva del Garda, Italy, September 28-30, 2012. Proceedings. Volume 7515 of Lecture Notes in Computer Science, pages 152-167, Springer, 2012. [doi]
Abstract is missing.