Debugging with Timed Automata Mutations

Bernhard Aichernig; Klaus Hörmaier; Florian Lukas Lorber

doi:10.1007/978-3-319-10506-2_4

Debugging with Timed Automata Mutations

Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber

Institut für Softwaretechnologie (7160)

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

Originalsprache	englisch
Titel	Computer Safety, Reliability, and Security
Redakteure/-innen	Andrea Bondavalli, Felicita Di Giandomenico
Herausgeber (Verlag)	Springer International Publishing AG
Seiten	49-64
Band	8666
ISBN (Print)	978-3-319-10506-2
DOIs	https://doi.org/10.1007/978-3-319-10506-2_4
Publikationsstatus	Veröffentlicht - 2014
Veranstaltung	International Conference on Computer Safety, Reliability and Security - Florenz, Italien Dauer: 10 Sept. 2014 → 12 Sept. 2014

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer International Publishing

Konferenz

Konferenz	International Conference on Computer Safety, Reliability and Security
Land/Gebiet	Italien
Ort	Florenz
Zeitraum	10/09/14 → 12/09/14

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Theoretical

Zugriff auf Dokument

10.1007/978-3-319-10506-2_4

Andere Dateien und Links

http://dx.doi.org/10.1007/978-3-319-10506-2_4

1 Laufend
2 Abgeschlossen

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
EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems
Lorber, F. L., Tiran, S. & Aichernig, B.
1/11/11 → 31/10/14
Projekt: Forschungsprojekt

Dieses zitieren

Debugging with Timed Automata Mutations. / Aichernig, Bernhard; Hörmaier, Klaus; Lorber, Florian Lukas.
Computer Safety, Reliability, and Security. Hrsg. / Andrea Bondavalli; Felicita Di Giandomenico. Band 8666 Springer International Publishing AG , 2014. S. 49-64 (Lecture Notes in Computer Science).

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

Aichernig, B, Hörmaier, K & Lorber, FL 2014, Debugging with Timed Automata Mutations. in A Bondavalli & F Di Giandomenico (Hrsg.), Computer Safety, Reliability, and Security. Bd. 8666, Lecture Notes in Computer Science, Springer International Publishing AG , S. 49-64, International Conference on Computer Safety, Reliability and Security, Florenz, Italien, 10/09/14. https://doi.org/10.1007/978-3-319-10506-2_4

@inproceedings{a87d2d1fd22949409b8509d98761c82e,

title = "Debugging with Timed Automata Mutations",

author = "Bernhard Aichernig and Klaus H{\"o}rmaier and Lorber, {Florian Lukas}",

year = "2014",

doi = "10.1007/978-3-319-10506-2_4",

language = "English",

isbn = "978-3-319-10506-2",

volume = "8666",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG ",

pages = "49--64",

editor = "Andrea Bondavalli and {Di Giandomenico}, Felicita",

booktitle = "Computer Safety, Reliability, and Security",

address = "Switzerland",

note = "International Conference on Computer Safety, Reliability and Security ; Conference date: 10-09-2014 Through 12-09-2014",

}

TY - GEN

T1 - Debugging with Timed Automata Mutations

AU - Aichernig, Bernhard

AU - Hörmaier, Klaus

AU - Lorber, Florian Lukas

PY - 2014

Y1 - 2014

UR - http://dx.doi.org/10.1007/978-3-319-10506-2_4

U2 - 10.1007/978-3-319-10506-2_4

DO - 10.1007/978-3-319-10506-2_4

M3 - Conference paper

SN - 978-3-319-10506-2

VL - 8666

T3 - Lecture Notes in Computer Science

SP - 49

EP - 64

BT - Computer Safety, Reliability, and Security

A2 - Bondavalli, Andrea

A2 - Di Giandomenico, Felicita

PB - Springer International Publishing AG

T2 - International Conference on Computer Safety, Reliability and Security

Y2 - 10 September 2014 through 12 September 2014

ER -

Debugging with Timed Automata Mutations

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Formale Methoden

CRYSTAL - Critical Systems Engineering Factories

EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

Dieses zitieren