Graduation Semester and Year




Document Type


Degree Name

Doctor of Philosophy in Computer Science


Computer Science and Engineering

First Advisor

Christoph Csallner


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 wide variety of assertions and not all of them satisfy the style rules imposed by existing repair techniques. That is, a badly written assertion may render generic repair inefficient or ineffective. Moreover, the performance of existing approaches may depend on the location of an error in a corrupted data structure. This dissertation shows that generic automatic data structure repair can be implemented with full dynamic symbolic execution. Such an implementation can solve some of the problems of the existing generic repair approaches.The dissertation also evaluates the usefulness of a novel random program generator, RUGRAT-Random Utility Generator for Program Analysis and Testing, for the evaluation and benchmarking of different Java source-to-bytecode compilers and pRogram Analysis and Testing (RAT) tools. It generates several programs in different size categories, ranging up to 5MLOC and uses them to compare and find bugs in the various RAT tools


Computer Sciences | Physical Sciences and Mathematics


Degree granted by The University of Texas at Arlington