Show simple item record  

dc.contributor.authorUtting, Mark
dc.date.accessioned2009-01-05T01:53:44Z
dc.date.available2009-01-05T01:53:44Z
dc.date.issued2008
dc.identifier.citationUtting, M.(2008). The Role of Model-Based Testing. In Proceeding of First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005(pp. 510-517). Berlin: Springer.en
dc.identifier.urihttps://hdl.handle.net/10289/1735
dc.description.abstractThis position paper gives an overview of model-based testing and discusses how it might fit into the proposed grand challenge for a program verifier.en
dc.language.isoen
dc.publisherSpringer
dc.relation.urihttp://www.springerlink.com/content/948874604392pm18/?p=684db039394f4cdbbaf6ca051ac39441&pi=2en
dc.subjectcomputer scienceen
dc.titleThe Role of Model-Based Testingen
dc.typeConference Contributionen
dc.identifier.doi10.1007/978-3-540-69149-5_56
dc.relation.isPartOfVerified Software: Theories, Tools, Experiments: Revised Selected Papers and Discussions from the First IFIP TC 2/WG 2.3 Conference, VSTTE 2005en_NZ
pubs.begin-page510en_NZ
pubs.elements-id8891
pubs.end-page517en_NZ
pubs.volumeLNCS 4171en_NZ


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record