Requirements traceability in automated test generation: application to smart card software validation

Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting. Requirements traceability in automated test generation: application to smart card software validation. In Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA. ACM, 2005. [doi]

@inproceedings{BouquetJLPU05,
  title = {Requirements traceability in automated test generation: application to smart card software validation},
  author = {Fabrice Bouquet and Eddie Jaffuel and Bruno Legeard and Fabien Peureux and Mark Utting},
  year = {2005},
  doi = {10.1145/1083274.1083282},
  url = {http://doi.acm.org/10.1145/1083274.1083282},
  tags = {testing},
  researchr = {https://researchr.org/publication/BouquetJLPU05},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA},
  publisher = {ACM},
  isbn = {1-59593-115-5},
}