Jean-Claude Fernandez Laurent Mounier Cyril Pachon Property Oriented Test Case Generation. 147-163 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2931&spage=147 2003 conf/fates/2003 FATES db/conf/fates/fates2003.html#FernandezMP03