Differential symbolic execution

Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu

Abstract

Detecting and characterizing the effects of software changes is a fundamental component of software maintenance. Version differencing information can be used to perform version merging, infer change characteristics, produce program documentation, and guide program re-validation. Existing techniques for characterizing code changes, however, are imprecise leading to unnecessary maintenance efforts.

BibTeX

@inproceedings{Person-al:FSE08,
  author    = {Suzette Person and
               Matthew B. Dwyer and
               Sebastian G. Elbaum and
               Corina S. Pasareanu},
  title     = {Differential symbolic execution},
  booktitle = {FSE},
  pages     = {226--237},
  publisher = {{ACM}},
  year      = {2008},
}

Differential symbolic execution

Abstract

Related papers