@inproceedings{A-MOST-2005-BouquetJLPU,
	author        = "Fabrice Bouquet and Eddie Jaffuel and Bruno Legeard and Fabien Peureux and Mark Utting",
	booktitle     = "{Proceedings of the First Workshop on Advances in Model-Based Software Testing}",
	doi           = "10.1145/1083274.1083282",
	isbn          = "978-1-59593-115-3",
	pages         = "44--50",
	publisher     = "{ACM}",
	title         = "{Requirements traceability in automated test generation: application to smart card software validation}",
	year          = 2005,
}