Petra van den Bos

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 16

Top Topics

Cooperative Games

Transition Systems

Practical Reasoning

Top Venues

Publications

Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. FASE (2023)
Humaid Mollah, Petra van den Bos
From User Stories to End-to-end Web Testing. ICSTW (2023)
Petra van den Bos, Mariëlle Stoelinga
With a little help from your friends: semi-cooperative games via Joker moves. CoRR (2023)
Petra van den Bos, Sung-Shik Jongmans
VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs. FM (2023)
Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink
From BDD Scenarios to Test Case Generation. ICSTW (2023)
Petra van den Bos, Mariëlle Stoelinga
With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves. FORTE (2023)
Petra van den Bos, Marieke Huisman
The Integration of Testing and Program Verification - A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Sung-Shik Jongmans, Petra van den Bos
A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming. ESOP (2022)
Petra van den Bos, Frits W. Vaandrager
State identification for labeled transition systems with inputs and outputs. Sci. Comput. Program. 209 (2021)
Petra van den Bos, Ramon Janssen, Joshua Moerman
n-Complete test suites for IOCO. Softw. Qual. J. 27 (2) (2019)
Petra van den Bos, Frits W. Vaandrager
State Identification for Labeled Transition Systems with Inputs and Outputs. CoRR (2019)
Petra van den Bos, Frits W. Vaandrager
State Identification for Labeled Transition Systems with Inputs and Outputs. FACS (2019)
Petra van den Bos, Jan Tretmans
Coverage-Based Testing with Symbolic Transition Systems. TAP@FM (2019)
Petra van den Bos, Mariëlle Stoelinga
Tester versus Bug: A Generic Framework for Model-Based Testing via Games. GandALF (2018)
Petra van den Bos, Ramon Janssen, Joshua Moerman
n-Complete Test Suites for IOCO. ICTSS (2017)
Petra van den Bos, Rick Smetsers, Frits W. Vaandrager
Enhancing Automata Learning by Log-Based Metrics. IFM (2016)