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.
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