Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using k-Induction
@inproceedings{DBLP:conf/fmco/DonaldsonHKR10,
author = {Alastair F. Donaldson and
Nannan He and
Daniel Kroening and
Philipp R{\"{u}}mmer},
editor = {Bernhard K. Aichernig and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Tightening Test Coverage Metrics: {A} Case Study in Equivalence Checking Using k-Induction},
booktitle = {Formal Methods for Components and Objects - 9th International Symposium, {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {6957},
pages = {297-315},
publisher = {Springer},
year = {2010},
doi = {10.1007/978-3-642-25271-6_16},
}