Enhancing Automata Learning by Log-Based Metrics. - Petra van den Bos; Rick Smetsers; Frits W. Vaandrager (IFM, 2016)

Tester versus Bug: A Generic Framework for Model-Based Testing via Games. - Petra van den Bos; Mariëlle Stoelinga (GandALF, 2018)

Coverage-Based Testing with Symbolic Transition Systems. - Petra van den Bos; Jan Tretmans (TAP@FM, 2019)

n-Complete test suites for IOCO. - Petra van den Bos; Ramon Janssen; Joshua Moerman (Softw. Qual. J., 2019)

State identification for labeled transition systems with inputs and outputs. - Petra van den Bos; Frits W. Vaandrager (Sci. Comput. Program., 2021)

The Integration of Testing and Program Verification - A Position Paper. - Petra van den Bos; Marieke Huisman (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. - Sung-Shik Jongmans; Petra van den Bos (ESOP, 2022)

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. - Simon Bliudze; Petra van den Bos; Marieke Huisman; Robert Rubbens; Larisa Safina (FASE, 2023)

VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. - Petra van den Bos; Sung-Shik Jongmans (FM, 2023)

From User Stories to End-to-end Web Testing. - Humaid Mollah; Petra van den Bos (ICSTW, 2023)

From BDD Scenarios to Test Case Generation. - Tannaz Zameni; Petra van den Bos; Jan Tretmans; Johan Foederer; Arend Rensink (ICSTW, 2023)

VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. - Robert Rubbens; Petra van den Bos; Marieke Huisman (IFM, 2024)

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. - Tannaz Zameni; Petra van den Bos; Arend Rensink; Jan Tretmans (SANER (Companion), 2024)

Verified Parameterized Choreographies. - Robert Rubbens; Petra van den Bos; Marieke Huisman (COORDINATION, 2025)

Sequential Composition of BDD Transition Systems for Model-Based Testing. - Tannaz Zameni; Petra van den Bos; Johan Foederer; Arend Rensink (FORTE, 2025)

Introducing automated testing to video game development via Behaviour-Driven Development. - Michael Mulder; Petra van den Bos (J. Object Technol., 2025)

With a little help from your friends: semi-cooperative games via Joker moves. - Petra van den Bos; Mariëlle Stoelinga (Log. Methods Comput. Sci., 2025)

Verified Parameterized Choreographies Technical Report. - Robert Rubbens; Petra van den Bos; Marieke Huisman (CoRR, 2025)

Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata. - Laura Brandán Briones; Marcus Gerhold; Petra van den Bos; Mariëlle Stoelinga (CoRR, 2025)