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

Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock. Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 131-140, IEEE Computer Society, 2009. [doi]

Authors

Emine G. Aydal

This author has not been identified. Look up 'Emine G. Aydal' in Google

Richard F. Paige

Identified as Richard F. Paige

Mark Utting

This author has not been identified. Look up 'Mark Utting' in Google

Jim Woodcock

This author has not been identified. Look up 'Jim Woodcock' in Google