Scalable Incremental Test-case Generation from Large Behavior Models

Bernhard Aichernig, Dejan Nickovic, Stefan Tiran

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

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	International Conference on Tests And Proofs - L'Aquila, Italien Dauer: 22 Jul 2015 → 24 Jul 2015

Name	LNCS
Herausgeber (Verlag)	Springer

Konferenz	International Conference on Tests And Proofs
Land	Italien
Ort	L'Aquila
Zeitraum	22/07/15 → 24/07/15

Fields of Expertise

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

@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",

}