Putting formal specifications under the magnifying glass: Model-based testing for validation
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.
Impact and interest:
Citation counts are sourced monthly from and citation databases.
These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.
Citations counts from theindexing service can be viewed at the linked Google Scholar™ search.
|Item Type:||Conference Paper|
|Keywords:||Alloy, Model-Based Testing, Z, Test Case Generation|
|Subjects:||Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > COMPUTER SOFTWARE (080300)|
|Deposited On:||21 Jan 2015 22:49|
|Last Modified:||21 Jan 2015 22:51|
Repository Staff Only: item control page