Sign in

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

Anna TrostanetskiOrna GrumbergDaniel Kroening
Published in: SAS (2017)
Keyphrases
  • demand driven
  • statistical analysis
  • semantic analysis
  • static analysis
  • image analysis
  • source code
  • metadata
  • natural language
  • domain specific