• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage publications (all current information on this profile has been aggregated automatically from publisher and metadata sources).
  • Yichen Xie, Dawson R. Engler
  • Computer Science
  • IEEE Trans. Software Eng.
  • 2003 (First Publication: 1 October 2003)
  • Programmers generally attempt to perform useful work. If they performed an action, it was because they believed it served some purpose. Redundant operations violate this belief. However, in the past,Continue Reading