Semantic Porting Analysis based on JPF Regression DiSE and DSE


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.


student: Baishakhi Ray <rayb AT>

mentor: Neha Rungta

co-mentor: Suzette Person


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


Project documentation/wiki/blog are available at TBD

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