Fabrice Bouquet Eddie Jaffuel Bruno Legeard Fabien Peureux Mark Utting Requirements traceability in automated test generation: application to smart card software validation. 1-7 2005 30 ACM SIGSOFT Software Engineering Notes 4 http://doi.acm.org/10.1145/1082983.1083282 db/journals/sigsoft/sigsoft30.html#BouquetJLPU05