Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. - Farokh B. Bastani; Giuseppe DiMarco; Alberto Pasquini (ICSE, 1993)