CONTEXT: A lot of different quality assurance techniques exist to ensure high quality
products. However, most often they are applied in isolation. A systematic combination of …

Static code analysis techniques analyze programs by examining the source code without
actually executing them. The main benefits lie in improving software quality by detecting …

What the experts have to say about Model-Based Testing for Embedded Systems:" This
book is exactly what is needed at the exact right time in this fast-growing area. From its …

Previous work has shown that early resolution of issues detected by static code analyzers
can prevent major costs later on. However, developers often ignore such issues for two main …

Secure programming is the practice of writing programs that are resistant to attacks by
malicious people or programs. Programmers of secure software have to be continuously …

Static verification techniques are used to analyse and prove properties about programs
before they are executed. Many of these techniques work directly on the source code and …

Testing is an important means of quality management and is widely used in industrial
practice. Model-based functional testing is focussed on comparing the system under test to a …

Static verification techniques can verify properties across all executions of a program, but
powerful judgements are hard to achieve automatically. In contrast, runtime verification …

Abstract Model transformations are an important cornerstone of model‐driven engineering, a
discipline which facilitates the abstraction of relevant information of a system as models. The …

Industrial plant software is implemented in the programming languages of IEC 61131-3. As
plant software needs to perform many tasks, it is often highly complex and typically …