Research Line Software quality (part of THIS program)

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.