Expertises
Computer Science
- model based testing
- Driven Development
- Intermediate Language
- Microservice
- Testing
- Software Systems
- Transition System
- Test Automation
Organisaties
Publicaties
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
Onderzoeksprofielen
Adres
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3057
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3057
Postbus 217
7500 AE Enschede
Scan de QR-code of