T. Zameni MSc (Tannaz)

PhD Candidate
EEMCS-CS-FMT
Zilverling 3057
t.zameni@utwente.nl
+31534892353
Business card
Workdays
even
odd
M
T
W
T
F
on campus
work from home
out of office

Expertise

  • Computer Science

    • Microservice
    • model based testing
    • Testing
    • Software Systems
    • Human Language
    • Test Automation
    • Communication Protocol
    • Microservice Architecture

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

2023
From BDD Scenarios to Test Case GenerationIn 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 microservicesIn BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop. CEUR. van den Brink, B., Zameni, T., Tikhonova, U., Vinke, L. & Oprescu, A.-M.https://ceur-ws.org/Vol-3245/paper1.pdf

Research profiles

Courses academic year 2022/2023

Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.

Address

University of Twente

Zilverling (building no. 11), room 3057
Hallenweg 19
7522 NH Enschede
Netherlands

Navigate to location

Organisations

Scan the QR code or
Download vCard