Modular Demand-Driven Analysis of Semantic Difference for Program Versions.

Anna Trostanetski Orna Grumberg Daniel Kroening

Published in: SAS (2017)

Keyphrases

demand driven
statistical analysis
semantic analysis
static analysis
image analysis
source code
metadata
natural language
domain specific