Detecting inconsistencies via universal reachability analysis


Recent research has suggested that a large class of software bugs fall into the category of inconsistencies, or cases where two pieces of program code make incompatible assumptions. Existing approaches to inconsistency detection have used intentionally unsound techniques aimed at bug-finding rather than verification. We describe an inconsistency detection… (More)
DOI: 10.1145/2338965.2336788

8 Figures and Tables


  • Presentations referencing similar topics