Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.

Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock

Browse the full ICST paper archive.