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

Overview
Research
Identity
Additional Document Info
View All

authors

Aydal, Emine G
Paige, Richard
Utting, Mark
Woodcock, Jim

status

published

publication date

April 2009

published in

2009 International Conference on Software Testing Verification and Validation Journal

presented at event

2009 International Conference on Software Testing Verification and Validation (ICST) Conference