论文发表

Modeling Requirements for Quantitative Consistency Analysis and Automatic Test Case Generation

         (Tom Bienmüller, Tino Teige, 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)