Book chapter
The role of model-based testing
Verified Software: Theories, Tools, Experiments, pp.510-517
IFIP TC 2/WG 2.3 Conference, VSTTE 2005, 1st (Zurich, Switzerland, 10-Oct-2005–13-Oct-2005)
Lecture Notes in Computer Science (LNCS), 4171, Springer Berlin Heidelberg
2008
Abstract
This position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a program verifier. © IFIP International Federation for Information Processing 2008.
Details
- Title
- The role of model-based testing
- Authors
- Mark Utting (Author) - University of Waikato, New Zealand
- Contributors
- Bertrand Meyer (Editor)Jim Woodcock (Editor)
- Publication details
- Verified Software: Theories, Tools, Experiments, pp.510-517
- Conference details
- IFIP TC 2/WG 2.3 Conference, VSTTE 2005, 1st (Zurich, Switzerland, 10-Oct-2005–13-Oct-2005)
- Series
- Lecture Notes in Computer Science (LNCS); 4171
- Publisher
- Springer Berlin Heidelberg
- Date published
- 2008
- DOI
- 10.1007/978-3-540-69149-5_56
- ISBN
- 9783540691471
- Organisation Unit
- School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
- Language
- English
- Record Identifier
- 99448831302621
- Output Type
- Book chapter
Metrics
459 Record Views