Wednesday, 19 October 2016

New Journal Article on Test-Case Generation and Fault Propagation

Our new article on fault propagation and its relation to model-based test-case generation was just published:

Bernhard K. Aichernig, Elisabeth J√∂bstl, and Martin Tappler. Does this fault lead to failure? Combining refinement and input-output conformance checking in fault-oriented test-case generation. Journal of Logical and Algebraic Methods in Programming, 85(5, Part 2):806–823, 2016. (PDF) (doi:10.1016/j.jlamp.2016.02.002)

The publisher Elsevier provides a free download of the original article until December 2.

The paper describes how we generate test-cases for reactive systems by

  1. injecting faults into the models (mutation testing)
  2. generating a test-case that triggers this fault (refinement checking)
  3. extending the test-case until an observational failure could be produced (ioco checking).

We show that this is more efficient than previous approaches that search for observational equivalences directly, i.e. skipping Step 2.

Our case study of a car-alarm controller shows that for some subtle faults we need up to nine additional interactions until a fault becomes visible at the interface.

Friday, 5 August 2016

Professional Activities in 2016

I have been invited to serve on the PC of SVT 2017, the 32nd Annual ACM Symposium on Applied Computing Software Verification and Testing Track that will be held in Marrakech, Morocco, April 3 – 7, 2017.

 Here is a summary of my activities in 2016:

Friday, 5 February 2016

Designing Embedded Domain-Specific Languages in Scala

I am glad to share with you an excellent Bachelor's thesis written by Philipp Gabler and supervised by me. The topic is fascinating as it discusses the features of the programming language Scala to support the design of DSLs. It includes a case-study on our modeling language for model-based testing.

Philipp Gabler, Designing Embedded Domain-Specific Languages in Scala: a Case Study with Action Systems, Bachelor's Thesis, Graz University of Technology, Institute for Software Technology,  June 2015.

Here is the PDF for download.

Thursday, 22 October 2015

10 PhD Positions in Dependable Internet of Things

We have 10 PhD positions in my new project:

Graz University of Technology (TU Graz) has recently established an
Excellence Research Center entitled "Dependable Internet of Things
in Adverse Environments", for further information see The mission of this long-term
center is to foster a highly interdisciplinary research team
spanning the computer science and electrical engineering faculties
to lay the scientific foundations for an Internet of Things that
is highly reliable, safe, and secure in order to enable critical
applications that require guaranteed performance even in adverse
environments. The center is seeking to fill 10 PhD positions with
excellent candidates, who will work closely together in four
subprojects that focus on the following topics:

1. Dependable Wireless Communication and Localization (three
   positions in wireless networking, physical layer signal
   processing, and tunable microwave frontends)

2. Dependable Embedded Computing (two positions in embedded
   hardware and software with a focus on security and real-time
   operating systems)

3. Dependable Composition of Smart Things (three positions in
   model checking, model-based testing, and machine learning)

4. Dependable Networked Control (two positions in control theory
   and information theory)

Applicants must hold a Master degree (or equivalent) in computer
engineering, computer science, or electrical engineering before
they can take on the position. Proficiency in the English language
(spoken and written) is required. Applicants should be highly
motivated, have initiative and responsibility, be able to work
independently and in an interdisciplinary team, should have
interest in scientific research, should have commitment to
publish research results and to obtain a doctoral degree.

The positions are to be filled from January 1, 2016 with an
initial appointment for three years. The position is remunerated
according to the collective contract (Kollektivvertrag) for
Austrian Universities, i.e., the salary amounts to at least
37.280 EUR/year before taxes and may increase depending on prior

TU Graz aims to increase the number of female employees and
therefore specifically invites qualified women to apply.

TU Graz is a leading technical university in Austria (ranking
151-200 in the world in engineering in the Shanghai Ranking)
in a medium-sized city with a very high quality of life,
located at the south-eastern foot of the Alps, offering
plentiful recreation opportunities.

Applicants should fill in the application form at
with a transcript of records, a copy of the master's degree,
a recent certificate of the level of proficiency of the English
language, and a copy of the master's thesis at
The application deadline is November 30, 2015. For further
information please contact the center coordinator Prof. Kay
Roemer <>.