Now showing items 1-1 of 1

    • Effective Static Debugging via Compential Set-Based Analysis 

      Flanagan, Cormac (1997)
      Sophisticated software systems are inherently complex. Understanding, debugging and maintaining such systems requires inferring high-level characteristics of the system's behavior from a myriad of low-level details. For ...