Bernard, EddyLegeard, BrunoBöttinger, StefanTheuvsen, LudwigRank, SusanneMorgenstern, Marlies2019-05-152019-05-152007978-3-88579-200-0https://dl.gi.de/handle/20.500.12116/22725Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validation testing makes it possible to ensure the functional coverage of the test suite and to automate the production of executable test scripts. This paper presents an approach to automatically produce the traceability matrix from requirements to test cases, as part of the test generation process. This approach is embedded in the LEIRIOS Test Designer technology, and has been used for several real-life applications in eTransactions and Enterprise IT areas. This paper introduces the approach to annotating the UML model and using it to generate the traceability matrix. It also discusses some lessons learnt from our experience using requirements traceability as part of a Model-Based Testing process.enText/Conference Paper1617-5468