[1] T. Zameni, P. van Den Bos, J. Tretmans, J. Foederer and A. Rensink, From BDD Scenarios to Test Case Generation, 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Dublin, Ireland, 2023, pp. 36-44, doi: 10.1109/ICSTW58534.2023.00019. URL: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10132208&isnumber=10132158
[2] Gijs van Cuyck, Lars van Arragon and Jan Tretmans. Compositionality in Model-Based Testing. 2023, Springer-Verlag, Berlin, Heidelberg, 10.1007/978-3-031-43240-8_13, Testing Software and Systems: 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18–20, 2023, Proceedings, 202–218. URL: https://link.springer.com/chapter/10.1007/978-3-031-43240-8_13
[3] 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. URL: https://api.semanticscholar.org/CorpusID:268377309