Ordering Coverage Goals in Model Checker Based Testing.

Gordon Fraser, Franz Wotawa

Browse the full ICST paper archive.