Tuesday, 4 July 2017


Bernhard K. Aichernig is a tenured associate professor at Graz University of Technology, Austria. He investigates the foundations of software engineering for realising dependable computer-based systems. Bernhard is an expert in formal methods and testing. His research covers a variety of areas combining falsification, verification and abstraction techniques. Current topics include the Internet of Things, model learning, and statistical model checking. Since 2006, he participated in four European projects. From 2004-2016 Bernhard served as a board member of Formal Methods Europe, the association that organises the Formal Methods symposia. From 2002 to 2006 he had a faculty position at the United Nations University in Macao S.A.R., China. Bernhard holds a habilitation in Practical Computer Science and Formal Methods, a doctorate, and a diploma engineer degree from Graz University of Technology.

New article on requirements modelling, model-based testing and traceability

Our article on combining requirements modelling, test-case generation and traceability appeared in the Springer STTT journal.

The paper describes how we
  1. model requirements as contracts in the form of assume-guarantee conditions 
  2. generate test cases efficiently out of the models via SMT solving and an incremental algorithm
  3. add traceability information linking requirements, contracts, generated test-cases and test results
  4. demonstrated its feasibility with our industrial partner Infineon on airbag electronics.  
All of this comes with solid foundations and precise semantics.

Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, and Stefan Tiran. Require, test, and trace IT. International Journal on Software Tools for Technology Transfer (STTT), 19:409–426, 2017. Open Access. Published online: 29 November 2016. (PDF) (doi:10.1007/s10009-016-0444-z)

It is open access and can be freely accessed at Springer.