Yichen Xie Dawson R. Engler Using Redundancies to Find Errors. 915-928 2003 29 IEEE Trans. Software Eng. 10 http://csdl.computer.org/comp/trans/ts/2003/10/e0915abs.htm db/journals/tse/tse29.html#XieE03