Using TRIO Specifications to Generate Test Cases for an Interactive System

Bruno d Ausbourg, Jacques Cazin. Using TRIO Specifications to Generate Test Cases for an Interactive System. In David J. Duke, Angel R. Puerta, editors, Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. pages 148-166, Springer, 1999.

@inproceedings{dAusbourgC99,
  title = {Using TRIO Specifications to Generate Test Cases for an Interactive System},
  author = {Bruno d Ausbourg and Jacques Cazin},
  year = {1999},
  tags = {testing},
  researchr = {https://researchr.org/publication/dAusbourgC99},
  cites = {0},
  citedby = {0},
  pages = {148-166},
  booktitle = {Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999},
  editor = {David J. Duke and Angel R. Puerta},
  publisher = {Springer},
  isbn = {3-211-83405-2},
}