Unveiling metamorphism by abstract interpretation of code properties.

Mila Dalla Preda Roberto Giacobazzi Saumya K. Debray

Published in: Theor. Comput. Sci. (2015)

Keyphrases

abstract interpretation
static analysis
source code
termination analysis
database
xml data
dynamic analysis