Fernandez-Mounier-Pachon-03

Jean-Claude. Fernandez, Laurent Mounier, Cyril Pachon. Property Oriented Test Case Generation. In Proceedings of FATES'03 (Satellite workshop of ASE'03), Montreal, Canada, 2003.

Download

Download paper: Adobe portable document (pdf)

Copyright notice:

Keyword

[ Test and run-time verification ]

BibTex Reference

@InProceedings{Fernandez-Mounier-Pachon-03,
   Author = {Fernandez, Jean-Claude. and Mounier, Laurent and Pachon, Cyril},
   Title = {Property Oriented Test Case Generation},
   BookTitle = {Proceedings of FATES'03 (Satellite workshop of ASE'03), Montreal, Canada},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)