Browsing by Author "Hussain, Ishtiaque"
Now showing items 1-1 of 1
-
Dynamic Symbolic Data Structure Repair And Evaluation Of Program Analysis Tools With The RUGRAT Random Program Generator
Hussain, Ishtiaque (Computer Science & Engineering, 2014-07-14)Generic automatic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assertions. But in practice there is a ...