Research output per year
Research output per year
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:
Person: Honorary staff, Academic
Person: Academic
Research output: Book/Report › Technical report › Academic
Research output: Book/Report › Technical report › Academic
Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review