Publications before 2023

• Petra van den Bos, Marieke Huisman. The Integration of Testing and Program Verification - A Position Paper. Festschrift Frits Vaandrager. 2022 Download paper
• 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. 2020. 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