Organisation profile

Layman's description

The influence of software-intensive systems on our daily lives is continuously growing. Studies show that software failures exist and they have far-reaching implications in terms of money, safety, privacy, etc. Hence, guaranteeing the quality of software is increasingly important. Unfortunately, this does not always happen in practice, and some already go as far as arguing that there are signs of a ‘coming software apocalypse’. This research line focuses on quality assurance techniques related to software testing as well as formal methods. The two main themes in this line are:

  • Software testing: Scriptless test automation, early shift-left testing
  • Formal methods: A unique research program towards formal methods for the masses, both in terms of users and impact. More specifically the focus is on: Formal methods for standard libraries, Formal methods for concurrency, Formal methods for binaries and Formal Resource Consumption Analysis.


Dive into the research topics where Research Line Software quality (part of THIS program) is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Best paper award iFM 2022

    de Gouw, Stijn (Recipient), 2022

    Prize: Prize (including medals and awards)Academic

  • Google Bug Hunters

    Hiep, Hans-Dieter A. (Recipient), Maathuis, Olaf (Recipient), Boer, Frank S. de (Recipient), de Gouw, Stijn (Recipient) & Bian, Jinting (Recipient), 22 Jun 2023

    Prize: Prize (including medals and awards)Professional