Abstract Title

Program Transformation for Symbolic Java Pathfinder

Disciplines

Software Engineering

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.

Comments

Poster #Th70

This document is currently not available here.

Share

COinS
 

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.