Tsong Yueh Chen T. H. Tse Zhiquan Zhou Fault-based testing without the need of oracles. 1-9 2003 45 Information & Software Technology 1 db/journals/infsof/infsof45.html#ChenTZ03