Zilverling

dr. P. van den Bos (Petra)

Assistant Professor
EEMCS-CS-FMT
Zilverling 3120
p.vandenbos@utwente.nl
+31534892677
Business card

Publications

2026

Disjunction Composition of BDD Transition Systems for Model-Based Testing (2026)[Working paper › Preprint]. ArXiv.org. Zameni, T., van den Bos, P. & Rensink, A.https://doi.org/10.48550/arXiv.2602.17237Disjunction Composition of BDD Transition Systems for Model-Based Testing (2026)Journal of object technology, 25(3), 337-350. Zameni, T., van den Bos, P. & Rensink, A.https://doi.org/10.5381/jot.2026.25.3.a26PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing (2026)Journal of object technology, 25(3), 323-336. Rodríguez, M. B. & van den Bos, P.https://doi.org/10.5381/jot.2026.25.3.a25Time for Quiescence: Modelling Quiescent Behaviour in Testing via Time-Outs in Timed Automata (2026)In Testing Software and Systems: 37th IFIP WG 6.1 International Conference, ICTSS 2025, Limassol, Cyprus, September 17–19, 2025, Proceedings (pp. 35-52) (Lecture Notes in Computer Science; Vol. 16107). Springer. Briones, L. B., Gerhold, M., Bos, P. v. d. & Stoelinga, M.https://doi.org/10.1007/978-3-032-05188-2_3

2025

Systematic Evaluation of Black-Box Checking for Fast Bug Detection (2025)[Working paper › Preprint]. ArXiv.org. Pellen, B., Belén Rodriguez, M., Vaandrager, F. & van den Bos, P.https://doi.org/10.48550/arXiv.2512.07434Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification (2025)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Rubbens, R.https://doi.org/10.3990/1.9789036569101Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata (2025)[Working paper › Preprint]. ArXiv.org. Briones, L. B., Gerhold, M., van den Bos, P. & Stoelinga, M.https://doi.org/10.48550/arXiv.2507.18205Verified Parameterized Choreographies (2025)In Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings (pp. 50-69) (Lecture Notes in Computer Science; Vol. 15731 LNCS). Springer. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.1007/978-3-031-95589-1_3Sequential Composition of BDD Transition Systems for Model-Based Testing (2025)In Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings (pp. 36-54) (Lecture Notes in Computer Science; Vol. 15732 LNCS). Springer. Zameni, T., van den Bos, P., Foederer, J. & Rensink, A.https://doi.org/10.1007/978-3-031-95497-9_3Introducing automated testing to video game development via Behaviour-Driven Development (2025)[Contribution to conference › Paper] 21st European Conference on Modelling Foundations and Applications, ECMFA 2025. Mulder, M. & van den Bos, P.https://conf.researchr.org/details/staf-2025/ecmfa-2025-papers/13/Introducing-automated-testing-to-video-game-development-via-Behaviour-Driven-Developm

Research profiles

Address

University of Twente

Zilverling (building no. 11), room 3120
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

QR codeScan the QR code or
Download vCard