Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.

Bohuslav Krena, Zdenek Letko, Toms Vojnar

Browse the full RV paper archive.