{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:33Z","timestamp":1772532933042,"version":"3.50.1"},"reference-count":12,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2005,5,15]],"date-time":"2005-05-15T00:00:00Z","timestamp":1116115200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2005,7]]},"abstract":"<jats:p>Automated test case and test driver generation from a formal model is becoming a more widely used practice in the smart card area. 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 Generator (LTG) tool, and has been used for several real-life applications in the smart card industry. This paper introduces the approach to annotating the formal model and using it to generate the Traceability Matrix. It also discusses some lessons learnt from our experience using Model-Based Testing for smart card software validation.<\/jats:p>","DOI":"10.1145\/1082983.1083282","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Requirements traceability in automated test generation"],"prefix":"10.1145","volume":"30","author":[{"given":"F.","family":"Bouquet","sequence":"first","affiliation":[{"name":"The University of Franche-Comt\u00e9, CNRS - INRIA, Besan\u00e7on - France"}]},{"given":"E.","family":"Jaffuel","sequence":"additional","affiliation":[{"name":"LEIRIOS Technologies, Immeuble L'Orient, Lyon - France"}]},{"given":"B.","family":"Legeard","sequence":"additional","affiliation":[{"name":"The University of Franche-Comt\u00e9, CNRS - INRIA, Besan\u00e7on - France"}]},{"given":"F.","family":"Peureux","sequence":"additional","affiliation":[{"name":"The University of Franche-Comt\u00e9, CNRS - INRIA, Besan\u00e7on - France"}]},{"given":"M.","family":"Utting","sequence":"additional","affiliation":[{"name":"LEIRIOS Technologies, Immeuble L'Orient, Lyon - France"}]}],"member":"320","published-online":{"date-parts":[[2005,5,15]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_2_1_2_1","volume-title":"Black Box Testing: Techniques for Functional Testing of Software and Systems","author":"Beizer B.","year":"1995","unstructured":"{Bei95} B. Beizer . Black Box Testing: Techniques for Functional Testing of Software and Systems . John Wiley & Sons Ed ., 1995 . ISBN 0 471 12094 4. {Bei95} B. Beizer. Black Box Testing: Techniques for Functional Testing of Software and Systems.John Wiley & Sons Ed., 1995. ISBN 0 471 12094 4."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.597"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_4"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647535.729387"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302640"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292398"},{"key":"e_1_2_1_8_1","volume-title":"March","author":"Card Specification Global Platform","year":"2003","unstructured":"{GP03} Global Platform Card Specification , version 2.1.1 , March 2003 , www.globalplatform.org. {GP03} Global Platform Card Specification, version 2.1.1, March 2003, www.globalplatform.org."},{"key":"e_1_2_1_9_1","volume-title":"GSM 11-11 version 7.2.0 Release","author":"Subscriber Identity GSM","year":"1998","unstructured":"{ GSM 11-11} Specification of the Subscriber Identity Module - Mobile Equipment (SIM - ME) interface. GSM 11-11 version 7.2.0 Release 1998 . Technical Specification. ETSI. European Telecommunication Standards Institute . {GSM 11-11} Specification of the Subscriber Identity Module - Mobile Equipment (SIM - ME) interface. GSM 11-11 version 7.2.0 Release 1998. Technical Specification. ETSI. European Telecommunication Standards Institute."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.v14:2"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143100"},{"issue":"2","key":"e_1_2_1_12_1","first-page":"105","article-title":"Rule-based generation of requirements traceability relations.","volume":"72","author":"Krause E.","unstructured":"{SZPK04} Spanoudakis, G., Zisman, A., Perez-Minana, E. & Krause , P . Rule-based generation of requirements traceability relations. Journal of Systems and Software , 72 ( 2 ), pp. 105 -- 127 , Elsevier Science Inc. {SZPK04} Spanoudakis, G., Zisman, A., Perez-Minana, E. & Krause, P. Rule-based generation of requirements traceability relations.Journal of Systems and Software, 72(2), pp. 105--127, Elsevier Science Inc.","journal-title":"Journal of Systems and Software"}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083282","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1082983.1083282","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:14Z","timestamp":1750262894000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1082983.1083282"}},"subtitle":["application to smart card software validation"],"short-title":[],"issued":{"date-parts":[[2005,5,15]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,7]]}},"alternative-id":["10.1145\/1082983.1083282"],"URL":"https:\/\/doi.org\/10.1145\/1082983.1083282","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1083274.1083282","asserted-by":"subject"}]},"ISSN":["0163-5948"],"issn-type":[{"value":"0163-5948","type":"print"}],"subject":[],"published":{"date-parts":[[2005,5,15]]},"assertion":[{"value":"2005-05-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}