Debugging with Timed Automata Mutations

Bernhard Aichernig, Klaus Hörmaier, Florian Lukas Lorber

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original languageEnglish
Title of host publicationComputer Safety, Reliability, and Security
EditorsAndrea Bondavalli, Felicita Di Giandomenico
PublisherSpringer International Publishing AG
Pages49-64
Volume8666
ISBN (Print)978-3-319-10506-2
DOIs
Publication statusPublished - 2014
EventInternational Conference on Computer Safety, Reliability and Security - Florenz, Italy
Duration: 10 Sept 2014 → 12 Sept 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer International Publishing

Conference

ConferenceInternational Conference on Computer Safety, Reliability and Security
Country/TerritoryItaly
CityFlorenz
Period10/09/14 → 12/09/14

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Theoretical

Access to Document

Other files and links

  • 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

  • EU - MBAT - Combined Model-based Analysis and Testing of Embedded Systems

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

    1/11/11 → 31/12/13

    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