Dynamic Analysis of Bounds Versus Domain Propagation.

Christian Schulte Peter J. Stuckey

Published in: ICLP (2008)

Keyphrases

dynamic analysis
static analysis
reverse engineering
domain specific
domain knowledge
model checking
domain independent
domain experts
genetic algorithm
lower bound
abstract interpretation
malicious behavior
lower and upper bounds
software engineering
upper bound
artificial intelligence
learning algorithm