Welkom...

dr. P. van den Bos (Petra)

Universitair docent

Expertises

Mathematics
Adaptive Test
Finite State Machine
Labeled Transition System
Output
Test Generation
Testing
Engineering & Materials Science
Finite Automata
Testing

Publicaties

Recent
Bos, P. V. D. , & Huisman, M. (2022). The Integration of Testing and Program Verification: A Position Paper. In N. Jansen, M. Stoelinga, & P. van den Bos (Eds.), A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday (pp. 524–538). (Lecture Notes in Computer Science; Vol. 13560). Springer. https://doi.org/10.1007/978-3-031-15629-8_28
Bos, P. V. D., & Vaandrager, F. (2021). State identification for labeled transition systems with inputs and outputs. Science of computer programming, 209, [102678]. https://doi.org/10.1016/j.scico.2021.102678
Bos, P. V. D. , & Stoelinga, M. (2018). Tester versus Bug: A Generic Framework for Model-Based Testing via Games. In A. Orlandini, & M. Zimmermann (Eds.), Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. (pp. 118-132). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 277). Dagstuhl. https://doi.org/10.4204/EPTCS.277.9

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11), kamer 3078
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3078
Postbus 217
7500 AE Enschede