Projects per year
Organization 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.
Fingerprint
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.
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Stijn de Gouw
- Department of Computer Science - Senior Lecturer
- Research Line Software quality (part of THIS program) - Lecturer
- Research Line Resilience (part of LIRS program) - Lecturer
Person: Academic
-
Sung-Shik Jongmans
- Research Line Software quality (part of THIS program) - Senior Lecturer
- Department of Computer Science - Senior Lecturer
- Research Line Resilience (part of LIRS program) - Lecturer
Person: Academic
-
An agent-based approach to automated game testing: an experience report
Prasetya, I. S. W. B., Ricós, F. P., Kifetew, F. M., Prandi, D., Shirzadehhajimahmood, S., Vos, T. E. J., Paska, P., Hovorka, K., Ferdous, R., Susi, A. & Davidson, J., 9 Nov 2022, A-TEST 2022: Proceedings of the 13th International Workshop on Automating Test Case Design, Selection and Evaluation. Akos Kiss, Beatriz Marin & Mehrdad Saadatmand (eds.). ACM Digital Library, p. 1-8Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., Jun 2022, 36th European Conference on Object-Oriented Programming: ECOOP 2022. K. A. & J. V. (eds.). Schloss Dagstuhl - LZI GmbH, Vol. 222. p. 27:1-27:28 28 p. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
Open Access -
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3 (Artifact)
Cledou, G., Edixhoven, L., Jongmans, S-S. & Proença, J., 23 Jun 2022, In: Dagstuhl Artifacts Series. 8, 2, p. 19:1-19:4 4 p., 19.Research output: Contribution to journal › Article › Academic › peer-review
Open Access
Prizes
-
Best paper award iFM 2022
de Gouw, Stijn (Recipient), 2022
Prize: Prize (including medals and awards) › Academic
-
15th IEEE International Conference on Software Testing, Verification and Validation
Tanja Vos (Chair)
4 Apr 2022 → 13 Apr 2022Activity: Attending or organising an event types › Organising an event › Academic
-
ICT with industry
Tanja Vos (Organiser)
2022Activity: Attending or organising an event types › Organising an event › Professional
-
PhD supervision of: Making students test infected
Tanja Vos (Supervisor), Erik Barendsen (Co-supervisor), Beatriz Marín (Co-supervisor) & Migchiel van Diggelen (Co-supervisor)
2021 → 2024Activity: PhD supervision and PhD examination types › PhD examination › Academic