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

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-18
Band	9154
ISBN (Print)	978-3-319-21215-9
DOIs	https://doi.org/10.1007/978-3-319-21215-9_1
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	9th International Conference on Tests & Proofs: TAP 2015 - L'Aquila, Italien Dauer: 22 Juli 2015 → 24 Juli 2015

Publikationsreihe

Name	LNCS
Herausgeber (Verlag)	Springer

Konferenz

Konferenz	9th International Conference on Tests & Proofs
Land/Gebiet	Italien
Ort	L'Aquila
Zeitraum	22/07/15 → 24/07/15

Fields of Expertise

Information, Communication & Computing

Zugriff auf Dokument

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

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

Dieses zitieren

@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

Publikationsreihe

Konferenz

Fields of Expertise

Zugriff auf Dokument

Projekte

CRYSTAL - Critical Systems Engineering Factories

Dieses zitieren