Putting formal specifications under the magnifying glass: Model-based testing for validation
| Contribuinte(s) |
Offutt, J Runeson, P |
|---|---|
| Data(s) |
2009
|
| Identificador | |
| Publicador |
IEEE |
| Relação |
DOI:10.1109/ICST.2009.20 Aydal, Emine, Paige, Richard, Utting, Mark, & Woodcock, Jim (2009) Putting formal specifications under the magnifying glass: Model-based testing for validation. In Offutt, J & Runeson, P (Eds.) Proceedings of the 2nd International Conference on Software Testing, Verification and Validation, 1 - 4 April, 2009, United States of America. |
| Palavras-Chave | #080300 COMPUTER SOFTWARE #Alloy, Model-Based Testing, Z, Test Case Generation |
| Tipo |
Conference Paper |
