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

Bohuslav Krena Zdenek Letko Tomás Vojnar Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. 177-192 2011 RV http://dx.doi.org/10.1007/978-3-642-29860-8_14 conf/rv/2011 db/conf/rv/rv2011.html#KrenaLV11