Research

Automatic Test Input Generation using Symbolic Execution

Overview

The goal of this project is to develop algorithms and tools to generate test inputs for realistic Java programs using symbolic execution. Although the underlying technique of symbolic execution based test input generation is not new, Significant increase in computing power and recent advances in program analysis and formal methods have created an opportunity to apply the technique to larger and more complex programs. This project will address the problems and limitations of applying this technique to realistic programs.

Researchers

Site designed by Rashmitha Bupathi