Sign in

Practical Machine-Checked Formalization of Change Impact Analysis.

Karl PalmskogAhmet ÇelikMilos Gligoric
Published in: TACAS (2) (2020)
Keyphrases
  • change impact analysis
  • source code
  • root cause analysis
  • real world
  • software architecture
  • feature selection
  • high level
  • management system