Farokh B. Bastani Giuseppe DiMarco Alberto Pasquini Experimental Evaluation of a Fuzzy-Set Based Measure of Software Correctness Using Program Mutation. 45-54 1993 ICSE http://portal.acm.org/citation.cfm?id=257572.257591 db/conf/icse/icse93.html#BastaniDP93