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

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Software Testing, Verification and Validation Workshops (ICSTW) 2015
Publisher	IEEE Publications
Pages	1-6
DOIs	https://doi.org/10.1109/ICSTW.2015.7107409
Publication status	Published - 2015
Event	8th IEEE International Conference on Software Testing, Verification and Validation: ICST 2015 - Graz, Austria Duration: 13 Apr 2015 → 17 Apr 2015

Conference

Conference	8th IEEE International Conference on Software Testing, Verification and Validation
Country/Territory	Austria
City	Graz
Period	13/04/15 → 17/04/15

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Access to Document

10.1109/ICSTW.2015.7107409

1 Finished
1 Active

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area
CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Project: Research project

Cite this

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, pp. 1-6, 8th IEEE International Conference on Software Testing, Verification and Validation, Graz, Austria, 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

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Projects

Formal Methods

CRYSTAL - Critical Systems Engineering Factories

Cite this