Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

Bernhard Aichernig; Florian Lukas Lorber

doi:10.1109/ICSTW.2015.7107409

Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

Bernhard Aichernig, Florian Lukas Lorber

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Software Testing, Verification and Validation Workshops (ICSTW) 2015
Herausgeber (Verlag)	IEEE Publications
Seiten	1-6
DOIs	https://doi.org/10.1109/ICSTW.2015.7107409
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	8th IEEE International Conference on Software Testing, Verification and Validation: ICST 2015 - Graz, Österreich Dauer: 13 Apr. 2015 → 17 Apr. 2015

Konferenz

Konferenz	8th IEEE International Conference on Software Testing, Verification and Validation
Land/Gebiet	Österreich
Ort	Graz
Zeitraum	13/04/15 → 17/04/15

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

10.1109/ICSTW.2015.7107409

1 Abgeschlossen
1 Laufend

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Projekt: Forschungsprojekt

Dieses zitieren

Aichernig, B & Lorber, FL 2015, Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata. in Software Testing, Verification and Validation Workshops (ICSTW) 2015. IEEE Publications, S. 1-6, 8th IEEE International Conference on Software Testing, Verification and Validation, Graz, Österreich, 13/04/15. https://doi.org/10.1109/ICSTW.2015.7107409

@inproceedings{5c42f8eadffb43f7868cc22df4f4a9f5,

title = "Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata",

author = "Bernhard Aichernig and Lorber, {Florian Lukas}",

year = "2015",

doi = "10.1109/ICSTW.2015.7107409",

language = "English",

pages = "1--6",

booktitle = "Software Testing, Verification and Validation Workshops (ICSTW) 2015",

publisher = "IEEE Publications",

note = "8th IEEE International Conference on Software Testing, Verification and Validation : ICST 2015 ; Conference date: 13-04-2015 Through 17-04-2015",

}

TY - GEN

T1 - Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

AU - Aichernig, Bernhard

AU - Lorber, Florian Lukas

PY - 2015

Y1 - 2015

U2 - 10.1109/ICSTW.2015.7107409

DO - 10.1109/ICSTW.2015.7107409

M3 - Conference paper

SP - 1

EP - 6

BT - Software Testing, Verification and Validation Workshops (ICSTW) 2015

PB - IEEE Publications

T2 - 8th IEEE International Conference on Software Testing, Verification and Validation

Y2 - 13 April 2015 through 17 April 2015

ER -

Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Projekte

Formale Methoden

CRYSTAL - Critical Systems Engineering Factories

Dieses zitieren