wiki:summer-projects/2012-regression

Semantic Porting Analysis based on JPF Regression DiSE and DSE

Abstract

To introduce similar features or bug fixes developers often port code from one program context to another. Ad hoc porting can produce various side effects if the source and target contexts differ. As ported edits are similar to reference edits, a syntactic program differencing tool cannot identify such semantic discrepancies. In this project we propose to develop a semantic porting analysis tool using the JPF framework. Given a pair of source and target edits as input our tool will generate test cases to manifest differences in the input-output behavior of the source and target contexts.

Contact

student: Baishakhi Ray <rayb AT utexas.edu>

mentor: Neha Rungta

co-mentor: Suzette Person

Repository

The sources for this project are available from a Mercurial repository at TBD

Description

Project documentation/wiki/blog are available at TBD

Last modified 6 years ago Last modified on 04/26/2012 01:44:03 PM