Program Transformation for Symbolic Java Pathfinder
Faculty Mentor Information
Dr. Elena Sherman
Abstract
In order to demonstrate the applicability of novel techniques in software engineering, researchers perform empirical evaluations of the techniques on a set of programs. Researchers spend a lot of time and effort to find specific real world programs to use on the Symbolic Java Pathfinder (SPF). If software was created that could modify programs to the needs of the researcher, time and energy would not be spent looking for specific programs. Modifying the SPF is not new and in the past researchers have added tools like KLEE, or updated the original program. Yet, implementing a complex framework that can handle an arbitrary program in the context of research experiments is impractical. Our solution is to create a program transformation framework that takes a program Sourceforge and modifies it for SPF. We implement our approach using Abstract Syntax Tree (AST) framework of Eclipse IDE. The framework allows better traversal and manipulation of programs structures according to rules. The goal of this project is to identify and implement those rules for SPF.
Program Transformation for Symbolic Java Pathfinder
In order to demonstrate the applicability of novel techniques in software engineering, researchers perform empirical evaluations of the techniques on a set of programs. Researchers spend a lot of time and effort to find specific real world programs to use on the Symbolic Java Pathfinder (SPF). If software was created that could modify programs to the needs of the researcher, time and energy would not be spent looking for specific programs. Modifying the SPF is not new and in the past researchers have added tools like KLEE, or updated the original program. Yet, implementing a complex framework that can handle an arbitrary program in the context of research experiments is impractical. Our solution is to create a program transformation framework that takes a program Sourceforge and modifies it for SPF. We implement our approach using Abstract Syntax Tree (AST) framework of Eclipse IDE. The framework allows better traversal and manipulation of programs structures according to rules. The goal of this project is to identify and implement those rules for SPF.
Comments
Poster #Th70