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

Institute of Software Technology (7160)

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

Original language	English
Title of host publication	Tests and Proofs
Publisher	Springer
Pages	1-19
Volume	7942
ISBN (Print)	978-3-642-38915-3
Publication status	Published - 2013
Event	International Conference on Tests and Proofs: TAP 2013 - Budapest, Hungary Duration: 18 Jun 2013 → 19 Jun 2013

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference

Conference	International Conference on Tests and Proofs
Abbreviated title	TAP 2013
Country/Territory	Hungary
City	Budapest
Period	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 → 30/06/14
Project: Research project

Cite this

@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

Publication series

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Projects

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

Cite this