Scalable Incremental Test-case Generation from Large Behavior Models

Bernhard Aichernig, Dejan Nickovic, Stefan Tiran

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

Originalspracheenglisch
TitelTests and Proofs
Herausgeber (Verlag)Springer
Seiten1-18
Band9154
ISBN (Print)978-3-319-21215-9
DOIs
PublikationsstatusVeröffentlicht - 2015
VeranstaltungInternational Conference on Tests And Proofs - L'Aquila, Italien
Dauer: 22 Jul 201524 Jul 2015

Publikationsreihe

NameLNCS
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Conference on Tests And Proofs
LandItalien
OrtL'Aquila
Zeitraum22/07/1524/07/15

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren