Model-based testing for real

The Inhouse Card Case Study
Thumbnail
Metadata only
Author
Pretschner, Alexander
Slotosch, O.
Aiglstorfer, E.
Kriebel, S.
Show all
Date
2004-03
Type
    Journal Article
Publication status
published
External links
Journal / series
International Journal on Software Tools for Technology Transfer
Volume
5(2-3)
Pages / Article No.
140 - 157
Publisher
Springer
Subject
Test case generation; Model checking; Symbolic execution; Behavior models
Organisational unit
03634 - Basin, David / Basin, David  
Notes
Published online 2 March 2004.
More
Show all metadata
ETH Bibliography
yes
Altmetrics