Petra van den Bos
|
I work as a postdoc in the Formal Methods and Tools group of the University of Twente. My postdoc position is part of the project Maximal Reliability of Concurrent and Distributed Software (Mercedes), lead by Marieke Huisman. Before that, I had a PhD position at the Radboud University in the project SUpersizing Model-BAsed Testing (SUMBAT) with Jan Tretmans and Frits Vaandrager.
My current research focusses on deductive verification of concurrent programs using abstract models.
|
|
|
Publications
-
Petra van den Bos. Coverage and Games in Model-Based Testing. PhD Thesis. Download pdf
-
Petra van den Bos, Frits Vaandrager. State Identification for Labeled Transition Systems with Inputs and Outputs. FACS 2019.
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 (extended 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
|
Contact
- Email: p dot vandenbos at utwente dot nl
- Office: Zilverling 3078
|