Conference
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
Authors
Aydal EG; Paige RF; Utting M; Woodcock J
Pagination
pp. 131-140
Publisher
IEEE
Publication Date
April 1, 2009
ISBN-13
9781424437757
DOI
10.1109/ICST.2009.20
Conference proceedings
2009 International Conference on Software Testing Verification and Validation