[P1] Bas van den Brink, Tannaz Zameni, Ulyana Tikhonova, Lammert Vinke, Ana-Maria Oprescu. Leveraging Composability in Model-Based Testing for Microservices. BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop, 2022. http://ceur-ws.org/Vol-3245/paper1.pdf
[P2] T. Zameni, P. van Den Bos, J. Tretmans, J. Foederer and A. Rensink, From BDD Scenarios to Test Case Generation. In: F. Lorber, C. Seceleanu, U.C. Türker (eds.), 19th Int. Workshop on Advances in Model-Based Testing (A-MOST). IEEE Int. Conf. on Software Testing, Verification and Validation Workshops (ICSTW), pp. 36-44, 2023. http://doi.org/10.1109/ICSTW58534.2023.00019
[P3] Gijs van Cuyck, Lars van Arragon and Jan Tretmans. Compositionality in Model-Based Testing. In: S. Bonfanti, A. Gargantini, P. Salvaneschi (eds.), 35th IFIP Int. Conf. on Testing Software and Systems (ICTSS). LNCS 14131, pp. 202-218, Springer, 2023. https://doi.org/10.1007/978-3-031-43240-8_13
[P4] Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans. An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. In: C. Macho, M. Pinzger, R. Ramler (eds.), 7th Workshop on Validation, Analysis and Evolution of Software Tests (VST). SANER Procs. in the IEEE Digital Library. IEEE CS, 2024. https://api.semanticscholar.org/CorpusID:268377309
[P5] Gijs van Cuyck, Lars van Arragon, Jan Tretmans. Testing Compositionality. In: D. Marmsoler, M. Sun (eds.), Int. Conf. on Formal Aspects of Component Software (FACS 2024). LNCS 15189, pp. 39-56, Springer 2024. https://doi.org/10.1007/978-3-031-71261-6_3
[P6] Tannaz Zameni, Petra van den Bos, Johan Foederer, A. Rensink. Sequential Composition of BDD Transition Systems for Model-Based Testing. In: C. Ferreira, C.A. Mezzina (eds.), Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2025), LNCS 15732, pp.36–54, Springer, 2025. https://doi.org/10.1007/978-3-031-95497-9_3