Close
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
How can I create the needed millions of scenarios?
How can I avoid the test explosion problem?
How can I find out if my tests are passed or failed?
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)
We provide intelligent and automated test solutions which enable our customers to deal with the growing complexity of embedded software while achieving high quality in compliance with the ISO 26262 standard.
Copyright © 2023 BTC Embedded Systems