Sign in
Practical Machine-Checked Formalization of Change Impact Analysis.
Karl Palmskog
Ahmet Çelik
Milos 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