Skip to main content
Article
Semantic Patch Inference
27th IEEE/ACM International Conference on Automated Software Engineering (ASE)
  • Jesper ABDERSEN
  • Anh Cuong NGUYEN
  • David LO, Singapore Management University
  • Julia Lawall
  • Siau-Cheng KHOO
Publication Type
Conference Proceeding Article
Publication Date
9-2012
Abstract

We propose a tool for inferring transformation specifications from a few examples of original and updated code. These transformation specifications may contain multiple code fragments from within a single function, all of which must be present for the transformation to apply. This makes the inferred transformations context sensitive. Our algorithm is based on depth-first search, with pruning. Because it is applied locally to a collection of functions that contain related changes, it is efficient in practice. We illustrate the approach on an example drawn from recent changes to the Linux kernel.

Keywords
  • Software evolution,
  • collateral evolution,
  • semantic patch
Identifier
10.1145/2351676.2351753
Publisher
ACM
Additional URL
http://dx.doi.org/10.1145/2351676.2351753
Citation Information
Jesper ABDERSEN, Anh Cuong NGUYEN, David LO, Julia Lawall, et al.. "Semantic Patch Inference" 27th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2012)
Available at: http://works.bepress.com/david_lo/88/