Fast Testing of Critical Properties through Passive Testing. - José Antonio Arnedo; Ana R. Cavalli; Manuel Núñez 001 (TestCom, 2003)