Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-Induction? Alastair F. Donaldson1 , Nannan He1 , Daniel Kroening1 , and Philipp R¨ ummer2 1

First Page		Document Content
Date: 2013-01-20 10:28:55		Tightening Test Coverage Metrics: A Case Study in Equivalence Checking using k-Induction? Alastair F. Donaldson1 , Nannan He1 , Daniel Kroening1 , and Philipp R¨ ummer2 1 Add to Reading List Source URL: www.doc.ic.ac.uk Download Document from Source Website File Size: 637,39 KB Share Document on Facebook