Tannaz Zameni

According to our database, Tannaz Zameni authored at least 5 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Disjunction Composition of BDD Transition Systems for Model-Based Testing.

Tannaz Zameni, Petra van den Bos, Arend Rensink

CoRR, February, 2026

2025

Sequential Composition of BDD Transition Systems for Model-Based Testing.

Tannaz Zameni, Petra van den Bos, Johan Foederer, Arend Rensink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2025

2024

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing.

Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans

Proceedings of the IEEE International Conference on Software Analysis, 2024

2023

From BDD Scenarios to Test Case Generation.

Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Leveraging composability in model-based testing for microservices.

Bas van den Brink, Tannaz Zameni, Ulyana Tikhonova, Lammert Vinke, Ana-Maria Oprescu

Proceedings of the Belgium-Netherlands Software Evolution Workshop, 2022