Using Redundancies to Find Errors

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},
}