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 proceeding › Conference paper › peer-review

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 2015 → 17 Apr 2015

Conference

Conference8th IEEE International Conference on Software Testing, Verification and Validation
Country/TerritoryAustria
CityGraz
Period13/04/15 → 17/04/15

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Access to Document

    • Formal Methods

      Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

      1/01/95 → …

      Project: Research area

    • CRYSTAL - Critical Systems Engineering Factories

      Lorber, F. L. & Aichernig, B.

      1/05/13 → 30/04/16

      Project: Research project

    Cite this