Mutation Testing Publications

Search results for "aydal_ICST_09", found 1 papers, 1 pages

1Emine Gokce Aydal and Richard F. Paige and Mark Utting and Jim Woodcock
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
Second International Conference on Software Testing Verification and Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009, 2009.
BibTeX | Abstract | PDF | DOI
Abstract:

Available soon...

@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} }