Leveraging composability in model-based testing for microservices. - Bas van den Brink; Tannaz Zameni; Ulyana Tikhonova; Lammert Vinke; Ana-Maria Oprescu (BENEVOL, 2022)

From BDD Scenarios to Test Case Generation. - Tannaz Zameni; Petra van den Bos; Jan Tretmans; Johan Foederer; Arend Rensink (ICSTW, 2023)

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. - Tannaz Zameni; Petra van den Bos; Arend Rensink; Jan Tretmans (SANER (Companion), 2024)

Sequential Composition of BDD Transition Systems for Model-Based Testing. - Tannaz Zameni; Petra van den Bos; Johan Foederer; Arend Rensink (FORTE, 2025)