patent

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