@inproceedings{FMP03,
title = {Property Oriented Test Case Generation },
author = {Fernandez, Jean-Claude and Mounier, Laurent and Pachon, Cyril},
year = {2003},
booktitle = {Proceedings of FATES'03 (Satellite workshop of ASE'03), Montreal, Canada},
team = {DCS,PACSS},
}