The Complexity of Coverage.

Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar

Browse the full APLAS paper archive.