Scalable Incremental Test-case Generation from Large Behavior Models

Bernhard Aichernig; Dejan Nickovic; Stefan Tiran

doi:10.1007/978-3-319-21215-9_1

Scalable Incremental Test-case Generation from Large Behavior Models

Bernhard Aichernig, Dejan Nickovic, Stefan Tiran

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-18
Volume	9154
ISBN (Print)	978-3-319-21215-9
DOIs	https://doi.org/10.1007/978-3-319-21215-9_1
Publication status	Published - 2015
Event	International Conference on Tests and Proofs: TAP 2015 - L'Aquila, Italy Duration: 22 Jul 2015 → 24 Jul 2015

Publication series

Name	LNCS
Publisher	Springer

Conference

Conference	International Conference on Tests and Proofs
Country/Territory	Italy
City	L'Aquila
Period	22/07/15 → 24/07/15

Fields of Expertise

Information, Communication & Computing

Access to Document

10.1007/978-3-319-21215-9_1

CRYSTAL - Critical Systems Engineering Factories
Lorber, F. L. & Aichernig, B.
1/05/13 → 30/04/16
Project: Research project

Cite this

@inproceedings{d1f0e797190a4795a67eef7d883fd8e6,

title = "Scalable Incremental Test-case Generation from Large Behavior Models",

author = "Bernhard Aichernig and Dejan Nickovic and Stefan Tiran",

year = "2015",

doi = "10.1007/978-3-319-21215-9_1",

language = "English",

isbn = "978-3-319-21215-9",

volume = "9154",

series = "LNCS",

publisher = "Springer",

pages = "1--18",

booktitle = "Tests and Proofs",

note = "International Conference on Tests and Proofs : TAP 2015 ; Conference date: 22-07-2015 Through 24-07-2015",

}

TY - GEN

T1 - Scalable Incremental Test-case Generation from Large Behavior Models

AU - Aichernig, Bernhard

AU - Nickovic, Dejan

AU - Tiran, Stefan

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-21215-9_1

DO - 10.1007/978-3-319-21215-9_1

M3 - Conference paper

SN - 978-3-319-21215-9

VL - 9154

T3 - LNCS

SP - 1

EP - 18

BT - Tests and Proofs

PB - Springer

T2 - International Conference on Tests and Proofs

Y2 - 22 July 2015 through 24 July 2015

ER -

Scalable Incremental Test-case Generation from Large Behavior Models

Publication series

Conference

Fields of Expertise

Access to Document

Projects

CRYSTAL - Critical Systems Engineering Factories

Cite this