Graduation Semester and Year

2014

Language

English

Document Type

Dissertation

Degree Name

Doctor of Philosophy in Computer Science

Department

Computer Science and Engineering

First Advisor

Christoph Csallner

Abstract

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

Disciplines

Computer Sciences | Physical Sciences and Mathematics

Comments

Degree granted by The University of Texas at Arlington

Download

Share

COinS