Accelerated Model-Based Robustness Testing of State Machine Implementations

Autor(en):

Heckeler, Patrick; Eichelberger, Hanno; Kropf, Thomas; Ruf, Jürgen; Huster, Stefan; Burg, Sebastian; Rosenstiel, Wolfgang; Schlich, Bastian

Tübinger Autor(en):

Erschienen in:

Journal ACM Applied Computing Review (2013), Bd. 13, S. 50-67

Verlagsangabe:

ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: