Petra van den Bos

Petra van den Bos is an Assistant Professor at the University of Twente, affiliated with both the Digital Society Institute and the Formal Methods and Tools department. Her research focuses on advancing software engineering through formal methods, model-based testing, and automated testing techniques. She has contributed to integrating Behavior-Driven Development (BDD) with model-based approaches, as well as developing tools like VeyMont for choreography-based concurrent programming.

Her work emphasizes practical applications in video game development, web testing, and user story-driven methodologies. Notably, she received the FORTE 2023 Best artefact award for outstanding contributions to formal techniques. Petra collaborates on datasets archived on Zenodo, showcasing reproducible research in testing frameworks and formal verification.

• Research Interests: Formal Methods, Model-Based Testing, Automated Testing, Concurrent Programming, and Software Verification.
• Awards: FORTE 2023 Best artefact (2022).
• Advising & Grants: No formal advisees listed; contributions focus on collaborative research projects and open-source tool development.
• Labs/Teams: Active in the Formal Methods and Tools research group, advancing software reliability through interdisciplinary approaches.