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 contributionResearchpeer-review

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

Conference

ConferenceIEEE 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