Improving structural coverage of functional tests with checkpoint signature computation.

Benjamin Niewenhuis, Devanathan Varadarajan

Browse the full ITC paper archive.