Petra van den Bos

According to our database, Petra van den Bos authored at least 14 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing.

Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans

Proceedings of the IEEE International Conference on Software Analysis, 2024

VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory.

Robert Rubbens, Petra van den Bos, Marieke Huisman

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

2023

From BDD Scenarios to Test Case Generation.

Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

From User Stories to End-to-end Web Testing.

Humaid Mollah, Petra van den Bos

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves.

Petra van den Bos, Mariëlle Stoelinga

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs.

Petra van den Bos, Sung-Shik Jongmans

Proceedings of the Formal Methods - 25th International Symposium, 2023

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.

Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

A Predicate Transformer for Choreographies - Computing Preconditions in Choreographic Programming.

Sung-Shik Jongmans, Petra van den Bos

Proceedings of the Programming Languages and Systems, 2022

The Integration of Testing and Program Verification - A Position Paper.

Petra van den Bos, Marieke Huisman

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

State identification for labeled transition systems with inputs and outputs.

Petra van den Bos, Frits W. Vaandrager

Sci. Comput. Program., 2021

2019

n-Complete test suites for IOCO.

Petra van den Bos, Ramon Janssen, Joshua Moerman

Softw. Qual. J., 2019

Coverage-Based Testing with Symbolic Transition Systems.

Petra van den Bos, Jan Tretmans

Proceedings of the Tests and Proofs - 13th International Conference, 2019

2018

Tester versus Bug: A Generic Framework for Model-Based Testing via Games.

Petra van den Bos, Mariëlle Stoelinga

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

2016

Enhancing Automata Learning by Log-Based Metrics.

Petra van den Bos, Rick Smetsers, Frits W. Vaandrager

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016