Research
I am a PhD candidate in the Formal Methods and Tools group. My main research topic is Model-based testing in combination with Behaviour Driven Development. I am part of the project TiCToC (
TiCToC
) that investigates methods and tools to manage and reduce the combinatorial explosion of testing complex high-tech systems. I'm interested in implementing formal testing theories in practice and I'm actively striving to achieve that goal within my PhD.
Publications
Recent
Zameni, T., van den Bos, P., Tretmans, J., Foederer, J.
, & Rensink, A. (2023).
From BDD Scenarios to Test Case Generation. In
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 (pp. 36-44). IEEE.
https://doi.org/10.1109/ICSTW58534.2023.00019
van den Brink, B.
, Zameni, T., Tikhonova, U., Vinke, L., & Oprescu, A.-M. (2022).
Leveraging composability in model-based testing for microservices. In M. Wessel, & E. Constantinou (Eds.),
BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop (CEUR Workshop Proceedings; Vol. 3245). CEUR.
https://ceur-ws.org/Vol-3245/paper1.pdf
UT Research Information System
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11), room 3057
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
3057
P.O. Box 217
7500 AE Enschede
The Netherlands
Working days
| Week | Monday | Tuesday | Wednesday | Thursday | Friday |
| Even | |||||
| Odd |