loader image

Test Solutions for Model-based Development

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?

Hans J. Holberg​

Hans J. Holberg studied Computer Science at the University of Oldenburg, finishing his Diploma in 1995. He went on to work in the Research Institute OFFIS on Formal Methods and Automatic Test- and Validation Technology to support the Model Based Development Process of the Automotive and Aerospace Industry. In 2000, he became Consulting Director of pioneer Formal Methods Tool Vendor BTC Embedded Systems. From there, he went on to spend 9 years in charge of Marketing & Sales as Senior Vice President, as well as the responsible Representative Director of BTC Japan Co. Ltd. Since the beginning of 2016, he’s served as Chief Sales Officer (CSO) of BTC Embedded Systems AG.