A specification-based coverage metric to evaluate test setsPaul E Ammann · First published 1999Open the Tome
Abstracting formal specifications to generate software tests via model checkingPaul E Ammann · First published 1999Open the Tome
Using model checking to generate tests from specificationsPaul E Ammann · First published 1998Open the Tome
