On the Concept of Variable Roles and its Use in Software Analysis

Demyanova, Yulia; Veith, Helmut; Zuleger, Florian

by Yulia Demyanova, Helmut Veith, Florian Zuleger

Reference:

On the Concept of Variable Roles and its Use in Software AnalysisYulia Demyanova, Helmut Veith, Florian ZulegerFMCAD, pages 226-229, 2013.

Bibtex Entry:

@inproceedings{DVZfmcad13,
  author	= {Yulia Demyanova and
				Helmut Veith and
				Florian Zuleger},
  title		= {On the Concept of Variable Roles and its Use in Software Analysis},
  booktitle = {FMCAD},
  year		= {2013},
  pages		= {226--229},
  url = {http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/papers/61-Variable-Roles.pdf},
  keywords = {verifolio}
}