Generating Efficient Test Sets with a Model Checker.

Grgoire Hamon, Leonardo Mendona de Moura, John M. Rushby

Browse the full SEFM paper archive.