Scalable Incremental Test-case Generation from Large Behavior Models

Bernhard K. Aichernig, Stefan Tiran, Dejan Nickovic (Vortragende:r)

Publikation: Beitrag in Buch oder Tagungsband › Vortrag mit Beitrag in Tagungsband › Begutachtung

Originalsprache	Englisch
Titel	Proceedings of Tests and Proofs- 9th International Conference, TAP 2015
Seiten	1-18
Seitenumfang	18
Publikationsstatus	Veröffentlicht - 2015
Veranstaltung	TAP 2015 - Dauer: 22 Juli 2015 → 24 Juli 2015

Konferenz	TAP 2015
Zeitraum	22/07/15 → 24/07/15

Research Field

@inproceedings{e30ae296b6ec40fbb79721038438d16e,

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

author = "Aichernig, {Bernhard K.} and Stefan Tiran and Dejan Nickovic",

year = "2015",

language = "English",

isbn = "978-3-319-21214-2",

pages = "1--18",

booktitle = "Proceedings of Tests and Proofs- 9th International Conference, TAP 2015",

note = "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 K.

AU - Tiran, Stefan

A2 - Nickovic, Dejan

PY - 2015

Y1 - 2015

M3 - Conference Proceedings with Oral Presentation

SN - 978-3-319-21214-2

SP - 1

EP - 18

BT - Proceedings of Tests and Proofs- 9th International Conference, TAP 2015

T2 - TAP 2015

Y2 - 22 July 2015 through 24 July 2015

ER -