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 ...