Incremental Refinement Checking for Test Case Generation

Bernhard Aichernig; Elisabeth Jöbstl; Matthias Kegele

Incremental Refinement Checking for Test Case Generation

Bernhard Aichernig, Elisabeth Jöbstl, Matthias Kegele

Institut für Softwaretechnologie (7160)

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

Originalsprache	englisch
Titel	Tests and Proofs
Herausgeber (Verlag)	Springer
Seiten	1-19
Band	7942
ISBN (Print)	978-3-642-38915-3
Publikationsstatus	Veröffentlicht - 2013
Veranstaltung	International Conference on Tests and Proofs: TAP 2013 - Budapest, Ungarn Dauer: 18 Juni 2013 → 19 Juni 2013

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	International Conference on Tests and Proofs
Kurztitel	TAP 2013
Land/Gebiet	Ungarn
Ort	Budapest
Zeitraum	18/06/13 → 19/06/13

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation
Jöbstl, E. & Aichernig, B.
1/03/11 → 28/02/14
Projekt: Forschungsprojekt

Dieses zitieren

@inproceedings{0314f958f40c4898867b74775a99d4ca,

title = "Incremental Refinement Checking for Test Case Generation",

author = "Bernhard Aichernig and Elisabeth J{\"o}bstl and Matthias Kegele",

year = "2013",

language = "English",

isbn = "978-3-642-38915-3",

volume = "7942",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--19",

booktitle = "Tests and Proofs",

note = "International Conference on Tests and Proofs : TAP 2013, TAP 2013 ; Conference date: 18-06-2013 Through 19-06-2013",

}

TY - GEN

T1 - Incremental Refinement Checking for Test Case Generation

AU - Aichernig, Bernhard

AU - Jöbstl, Elisabeth

AU - Kegele, Matthias

PY - 2013

Y1 - 2013

M3 - Conference paper

SN - 978-3-642-38915-3

VL - 7942

T3 - Lecture Notes in Computer Science

SP - 1

EP - 19

BT - Tests and Proofs

PB - Springer

T2 - International Conference on Tests and Proofs

Y2 - 18 June 2013 through 19 June 2013

ER -

Incremental Refinement Checking for Test Case Generation

Publikationsreihe

Konferenz

Fields of Expertise

Treatment code (Nähere Zuordnung)

Projekte

TRUFAL - Trust via Failed Falsification of Complex Dependable Systems Using Automated Test-Case Generation through Model Mutation

Dieses zitieren