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)
(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)
(Hans J. Holberg, Dr.-Ing Stefan Häusler)
Formal Verification for safety critical requirements
(Markus Gros, Hans J. Holberg)
Copyright © 2025 BTC Embedded Systems