Generating Efficient Test Sets with a Model Checker.

Grégoire Hamon Leonardo Mendonça de Moura John M. Rushby

Published in: SEFM (2004)

Keyphrases

test set
model checker
model checking
error rate
training set
temporal logic
formal verification
formal specification
test cases
gray scale
business rules
description language
formal methods