Testing of Concurrent Programs Using Genetic Algorithms.
Vendula Hrub, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Toms Vojnar
Browse the full SSBSE paper archive.
Vendula Hrub, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Toms Vojnar
Browse the full SSBSE paper archive.