Scalable Incremental Test-case Generation from Large Behavior Models

Bernhard Aichernig, Dejan Nickovic, Stefan Tiran

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTests and Proofs
PublisherSpringer
Pages1-18
Volume9154
ISBN (Print)978-3-319-21215-9
DOIs
Publication statusPublished - 2015
EventInternational Conference on Tests And Proofs - L'Aquila, Italy
Duration: 22 Jul 201524 Jul 2015

Publication series

NameLNCS
PublisherSpringer

Conference

ConferenceInternational Conference on Tests And Proofs
CountryItaly
CityL'Aquila
Period22/07/1524/07/15

Fields of Expertise

  • Information, Communication & Computing

Cite this