Towards Generation of Adaptive Test Cases from Partial Models of Determinized Timed Automata

Bernhard Aichernig, Florian Lukas Lorber

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

Original languageEnglish
Title of host publicationSoftware Testing, Verification and Validation Workshops (ICSTW) 2015
Publisher.
Pages1-6
DOIs
Publication statusPublished - 2015
Event8th IEEE International Conference on Software Testing, Verification and Validation: ICST 2015 - Graz, Austria
Duration: 13 Apr 201517 Apr 2015

Conference

Conference8th IEEE International Conference on Software Testing, Verification and Validation
CountryAustria
CityGraz
Period13/04/1517/04/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Cite this