Accelerated Model-Based Robustness Testing of State Machine Implementations

DSpace Repository

Accelerated Model-Based Robustness Testing of State Machine Implementations

Author: Heckeler, Patrick; Eichelberger, Hanno; Kropf, Thomas; Ruf, Jürgen; Huster, Stefan; Burg, Sebastian; Rosenstiel, Wolfgang; Schlich, Bastian
Tübinger Autor(en):
Heckeler, Patrick
Eichelberger, Hanno
Kropf, Thomas
Ruf, Jürgen
Burg, Sebastian
Rosenstiel, Wolfgang
Published in: Journal ACM Applied Computing Review (2013), Bd. 13, S. 50-67
Verlagsangabe: ACM
Language: English
Full text: https://dx.doi.org/10.1145/2537728.2537733
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)