Search
Now showing items 1-1 of 1
Dynamic Symbolic Data Structure Repair And Evaluation Of Program Analysis Tools With The RUGRAT Random Program Generator
(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 ...