Paul B. Moranda: Limits to program testing with random number inputs. COMPSAC 1978: 521-526