@INPROCEEDINGS{aydal_ICST_09, author = {Emine Gokce Aydal and Richard F. Paige and Mark Utting and Jim Woodcock}, title = {Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation}, booktitle = {Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009}, year = {2009}, address = {}, month = {}, pages = {131--140} }