Expertise
Computer Science
- model based testing
- Driven Development
- Intermediate Language
- Microservice
- Testing
- Software Systems
- Transition System
- Test Automation
Organisations
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
2024
An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing (2024)In 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) (pp. 199-206). Article 10621723. IEEE. Zameni, T., Bos, P. v. d., Rensink, A. & Tretmans, J.https://doi.org/10.1109/SANER-C62648.2024.00033
2023
From BDD Scenarios to Test Case Generation (2023)In Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023 (pp. 36-44). IEEE. Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. & Rensink, A.https://doi.org/10.1109/ICSTW58534.2023.00019
2022
Leveraging composability in model-based testing for microservices (2022)In 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. van den Brink, B., Zameni, T., Tikhonova, U., Vinke, L. & Oprescu, A.-M.https://ceur-ws.org/Vol-3245/paper1.pdf
Research profiles
Address
University of Twente
Zilverling (building no. 11), room 3057
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3057
P.O. Box 217
7500 AE Enschede
Netherlands
Scan the QR code or