8

Methods and Apparatus to Determine Refined Context for Software Bug Detection and Correction
Methods and Apparatus for Automatic Detection of Software Bugs
Methods and Apparatus to Construct Program‑Derived Semantic Graphs