Petra van den Bos

I work as an assistant professor in the Formal Methods and Tools group of the University of Twente. Before that, I had a postdoc position in the project Maximal Reliability of Concurrent and Distributed Software (Mercedes), lead by Marieke Huisman. I did my PhD at the Radboud University in the project SUpersizing Model-BAsed Testing (SUMBAT) with Jan Tretmans and Frits Vaandrager. My current research focusses on software correctness and software quality in general, and on deductive verification and model-based testing specifically.

Publications

Sung-Shik Jongmans, Petra van den Bos. A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. ESOP 2022. Best Paper nomination. Download paper
Petra van den Bos, Frits Vaandrager. State Identification for Labeled Transition Systems with Inputs and Outputs (journal version). Science of Computer Programming. 2021. Download paper
Petra van den Bos. Coverage and Games in Model-Based Testing. PhD Thesis. Download Thesis Download defense slides
Petra van den Bos, Frits Vaandrager. State Identification for Labeled Transition Systems with Inputs and Outputs. FACS 2019. Best Paper Award. Download paper Download extended version from arXiv Download Slides
Petra van den Bos, Jan Tretmans. Coverage-Based Testing with Symbolic Transition Systems. TAP 2019. Download paper Download paper with proofs Download Slides
Petra van den Bos, Marielle Stoelinga. Tester versus Bug: A Generic Framework for Model-Based Testing via Games. GandALF 2018. Download paper Download proofs Download slides
Petra van den Bos, Ramon Janssen, Joshua Moerman. n-Complete Test Suites for IOCO (journal version). Software Quality Journal, Springer. 2018. Download paper
Petra van den Bos, Ramon Janssen, Joshua Moerman. n-Complete Test Suites for IOCO. ICTSS 2017. Download paper Download slides
Petra van den Bos, Rick Smetsers, Frits Vaandrager. Enhancing Automata Learning by Log-Based Metrics. iFM 2016. Download paper Download slides

Current teaching tasks

Master course Programming Principles, Patterns and Processes (Software Engineering)
Master course Industrial Software Engineering Project
Bachelor study unit Programming for Creative Technology
Programme mentor for the Software Technology specialisation of the Computer Science master

Contact

Email: p dot vandenbos at utwente dot nl
Office: Zilverling 3078