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 - Checking - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2013-01-20 10:28:55 Open Document File Size: 637,39 KB Share Result on Facebook

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