Model-Based Mutation Testing of Hybrid Systems

Bernhard Aichernig; Harald Brandl; Elisabeth Jöbstl; Willibald Krenn

doi:10.1007/978-3-642-17071-3_12

Model-Based Mutation Testing of Hybrid Systems

Bernhard Aichernig
, Harald Brandl
, Elisabeth Jöbstl
, Willibald Krenn

Institute of Software Engineering and Artificial Intelligence (7160)

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

Originalsprache	englisch
Titel	Formal Methods for Components and Objects
Herausgeber (Verlag)	.
Seiten	228-249
DOIs	https://doi.org/10.1007/978-3-642-17071-3_12
Publikationsstatus	Veröffentlicht - 2010
Veranstaltung	International Symposium on Formal Methods for Components and Objects - Eindhoven, Niederlande Dauer: 4 Nov. 2009 → 6 Nov. 2009

Publikationsreihe

Name	Lecture Notes in Computer Science

Konferenz

Konferenz	International Symposium on Formal Methods for Components and Objects
Land/Gebiet	Niederlande
Ort	Eindhoven
Zeitraum	4/11/09 → 6/11/09

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Experimental
Theoretical

Zugriff auf Dokument

10.1007/978-3-642-17071-3_12

Andere Dateien und Links

http://dx.doi.org/10.1007/978-3-642-17071-3_12

1 Abgeschlossen

EU-MOGENTES - Modellbasierte Testgenerierung für zuverlässige eingebettete Systeme
Brandl, H. (Teilnehmer / Mitarbeiter), Krenn, W. K. (Teilnehmer / Mitarbeiter) & Aichernig, B. (Projektleiter)
1/01/08 → 31/12/10
Projekt: Forschungsprojekt

Dieses zitieren

@inproceedings{2d693b770c8f4cd290ae563e8a0e0c3c,

title = "Model-Based Mutation Testing of Hybrid Systems",

author = "Bernhard Aichernig and Harald Brandl and Elisabeth J{\"o}bstl and Willibald Krenn",

year = "2010",

doi = "10.1007/978-3-642-17071-3\_12",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = ".",

pages = "228--249",

booktitle = "Formal Methods for Components and Objects",

note = "International Symposium on Formal Methods for Components and Objects ; Conference date: 04-11-2009 Through 06-11-2009",

}

TY - GEN

T1 - Model-Based Mutation Testing of Hybrid Systems

AU - Aichernig, Bernhard

AU - Brandl, Harald

AU - Jöbstl, Elisabeth

AU - Krenn, Willibald

PY - 2010

Y1 - 2010

UR - http://dx.doi.org/10.1007/978-3-642-17071-3_12

U2 - 10.1007/978-3-642-17071-3_12

DO - 10.1007/978-3-642-17071-3_12

M3 - Conference paper

T3 - Lecture Notes in Computer Science

SP - 228

EP - 249

BT - Formal Methods for Components and Objects

PB - .

T2 - International Symposium on Formal Methods for Components and Objects

Y2 - 4 November 2009 through 6 November 2009

ER -

Model-Based Mutation Testing of Hybrid Systems

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Zugriff auf Dokument

Andere Dateien und Links

Projekte

EU-MOGENTES - Modellbasierte Testgenerierung für zuverlässige eingebettete Systeme

Dieses zitieren