Using redundancies to find errors

@inproceedings{Xie2002UsingRT,
  title={Using redundancies to find errors},
  author={Yichen Xie and Dawson R. Engler},
  booktitle={SIGSOFT FSE},
  year={2002}
}
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundancy checkers to the Linux operating system, finding many errors. We then use these errors to demonstrate that redundancies, even when harmless, strongly correlate with the presence of traditional hard errors (e.g., null pointer dereferences, unreleased locks). Finally we show that how flagging redundant operations gives… CONTINUE READING
Highly Cited
This paper has 77 citations. REVIEW CITATIONS
54 Citations
1 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 54 extracted citations

78 Citations

051015'05'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 78 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…