Defining and continuous checking of structural program dependencies.

Michael Eichberg Sven Kloppenburg Karl Klose Mira Mezini

Published in: ICSE (2008)

Keyphrases

execution traces
control flow
artificial intelligence
programming environment
dependency graphs
structural information
computer programs
static analysis
case study
search algorithm
probability distribution
logic programming
user defined
consistency checking