Petra van den Bos

29 papers A 1B 4C 5Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Disjunction Composition of BDD Transition Systems for Model-Based Testing.
CoRR
Tannaz Zameni, Petra van den Bos, Arend Rensink
2025 J jnl
Introducing automated testing to video game development via Behaviour-Driven Development.
J. Object Technol.
Michael Mulder, Petra van den Bos
2025 C conf
Sequential Composition of BDD Transition Systems for Model-Based Testing.
FORTE
Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink
2025 J jnl
Systematic Evaluation of Black-Box Checking for Fast Bug Detection.
CoRR
Bram Pellen, María Belén Rodríguez, Frits W. Vaandrager, Petra van den Bos
2025 C conf
Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata.
ICTSS
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2025 J jnl
Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata.
CoRR
Laura Brandán Briones, Marcus Gerhold, Petra van den Bos, Mariëlle Stoelinga
2025 J jnl
Verified Parameterized Choreographies Technical Report.
CoRR
Robert Rubbens, Petra van den Bos, Marieke Huisman
2025 C conf
Verified Parameterized Choreographies.
COORDINATION
Robert Rubbens, Petra van den Bos, Marieke Huisman
2025 J jnl
With a little help from your friends: semi-cooperative games via Joker moves.
Log. Methods Comput. Sci.
Petra van den Bos, Mariëlle Stoelinga
2024 — conf
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing.
SANER (Companion)
Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans
2024 B conf
VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory.
IFM
Robert Rubbens, Petra van den Bos, Marieke Huisman
2023 — conf
From BDD Scenarios to Test Case Generation.
ICSTW
Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink
2023 — conf
From User Stories to End-to-end Web Testing.
ICSTW
Humaid Mollah, Petra van den Bos
2023 B conf
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.
FASE
Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina
2023 B conf
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs.
FM
Petra van den Bos, Sung-Shik Jongmans
2023 C conf
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves.
FORTE
Petra van den Bos, Mariëlle Stoelinga
2023 J jnl
With a little help from your friends: semi-cooperative games via Joker moves.
CoRR
Petra van den Bos, Mariëlle Stoelinga
2022 — ed.
A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
A Journey from Process Algebra via Timed Automata to Model Learning
Nils Jansen, Mariëlle Stoelinga, Petra van den Bos
2022 A conf
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.
ESOP
Sung-Shik Jongmans, Petra van den Bos
2022 — conf
The Integration of Testing and Program Verification - A Position Paper.
A Journey from Process Algebra via Timed Automata to Model Learning
Petra van den Bos, Marieke Huisman
2021 J jnl
State identification for labeled transition systems with inputs and outputs.
Sci. Comput. Program.
Petra van den Bos, Frits W. Vaandrager
2020 — —
Coverage and Games in Model-Based Testing.
Petra van den Bos
2019 — conf
Coverage-Based Testing with Symbolic Transition Systems.
TAP@FM
Petra van den Bos, Jan Tretmans
2019 — conf
State Identification for Labeled Transition Systems with Inputs and Outputs.
FACS
Petra van den Bos, Frits W. Vaandrager
2019 J jnl
State Identification for Labeled Transition Systems with Inputs and Outputs.
CoRR
Petra van den Bos, Frits W. Vaandrager
2019 J jnl
n-Complete test suites for IOCO.
Softw. Qual. J.
Petra van den Bos, Ramon Janssen, Joshua Moerman
2018 — conf
Tester versus Bug: A Generic Framework for Model-Based Testing via Games.
GandALF
Petra van den Bos, Mariëlle Stoelinga
2017 C conf
n-Complete Test Suites for IOCO.
ICTSS
Petra van den Bos, Ramon Janssen, Joshua Moerman
2016 B conf
Enhancing Automata Learning by Log-Based Metrics.
IFM
Petra van den Bos, Rick Smetsers, Frits W. Vaandrager