Papers

Alastair F. Donaldson, Nannan He, Daniel Kroening, Philipp Ruemmer. Tightening Test Coverage Metrics: a Case Study in Equivalence Checking Using k-Induction. In Proceedings of the 9th International Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science 6957, pages 297-315. Springer, 2010.

Bibtex:

@inproceedings{DonaldsonHKR_FMCO2010,
   title      = {Tightening Test Coverage Metrics: a Case Study
                 in Equivalence Checking Using k-Induction},
   author     = {Alastair F. Donaldson and Nannan He and Daniel
                 Kroening and Philipp Ruemmer},
   booktitle  = {Proceedings of the 9th International Symposium
                 on Formal Methods for Components and Objects},
   series     = {Lecture Notes in Computer Science},
   volume     = {6957},
   pages      = {297-315},
   publisher  = {Springer},
   year       = {2010}
}