![](https://www.pdfsearch.io/img/17af9bb2645195159cf1a810e133b953.jpg) 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 1Add to Reading ListSource URL: www.doc.ic.ac.ukDownload Document from Source Website File Size: 637,39 KBShare Document on Facebook
|