Claude Jard Thierry Jéron Pierre Morel Verification of Test Suites. 3-18 2000 conf/pts/2000 TestCom db/conf/pts/testcom2000.html#JardJM00