Yichen Xie, Dawson R. Engler. Using Redundancies to Find Errors. IEEE Trans. Software Eng., 29(10):915-928, 2003. [doi]
@article{XieE03, title = {Using Redundancies to Find Errors}, author = {Yichen Xie and Dawson R. Engler}, year = {2003}, url = {http://csdl.computer.org/comp/trans/ts/2003/10/e0915abs.htm}, tags = {redundancy}, researchr = {https://researchr.org/publication/XieE03}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {29}, number = {10}, pages = {915-928}, }