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
PublisherIEEE Publications
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

  • CRYSTAL - Critical Systems Engineering Factories

    Lorber, F. L. (Co-Investigator (CoI)) & Aichernig, B. (Principal Investigator (PI))

    1/05/13 → 30/04/16

    Project: Research project

  • Formal Methods

    Lucas, P. (Co-Investigator (CoI)), Lorber, F. L. (Co-Investigator (CoI)), Jöbstl, E. (Co-Investigator (CoI)) & Aichernig, B. (Co-Investigator (CoI))

    1/01/95 → 31/12/24

    Project: Research area

Cite this