Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software.

Vendula Hrub, Bohuslav Krena, Zdenek Letko, Hana Pluhckov, Toms Vojnar

Browse the full SSBSE paper archive.