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 ThesisDownload 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
|