Veröffentlichungen

Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation

         (Dr. Tom Bienmüller, Dr. Tino Teige, Dr. Andreas Eggers, and Matthias Stasch)

Significant Quality and Performance Gains through Fully Automated Back-to-Back Testing

         (Hans J. Holberg, Dr. Udo Brockmeyer)

ISO 26262 compliant verification of functional requirements in the model-based software development process

         (Hans J. Holberg, Dr. Udo Brockmeyer)

Computer-aided Formal Specification to enable a fully automated Requirements-based Testing Process

         (Hans J. Holberg, Dr. Udo Brockmeyer)

From Safety Requirements to Safety Monitors – Automatic Synthesis in Compliance with ISO 26262

         (Hans J. Holberg, Dr.-Ing Stefan Häusler)

Beyond MC/DC Coverage Testing

         (Hans J. Holberg, Dr.-Ing Stefan Häusler)

Formal Verification for safety critical requirements

         (Markus Gros, Hans J. Holberg)