Projects per year
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.
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.
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
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
-
-
Improving Engagement of Students in Software Engineering Courses through Gamification
1/03/18 → 1/09/21
Project: Other
-
Balanced-by-Construction Regular and ω-Regular Languages
Edixhoven, L. & Jongmans, S-S., Feb 2023, In: International Journal of Foundations of Computer Science. 34, 2&3, p. 117-144 28 p.Research output: Contribution to journal › Article › Academic › peer-review
-
Caos: A Reusable Scala Web Animator of Operational Semantics
Proença, J. & Edixhoven, L., Jun 2023, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Proceedings. Jongmans, S-S. & Lopes, A. (eds.). Cham: Springer, Vol. 13908. p. 163-171 9 p. (Lecture Notes in Computer Science, Vol. 13908).Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review
-
Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
Proença, J. & Edixhoven, L., 28 Apr 2023, Cornell University - arXiv, 13 p. (CoRR).Research output: Working paper / Preprint › Preprint › Academic
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: Improving the QA testing process of desktop, web, mobile, and XR applications through scriptless testing using the TESTAR tool
Tanja Vos (Supervisor) & Beatriz Marín (Co-supervisor)
2021 → 2024Activity: PhD supervision and PhD examination types › PhD supervision at external institution › Academic