Staging Static Analyses Using Abstraction-Based Program Specialization.

John Hatcliff Matthew B. Dwyer Shawn Laubach

Published in: PLILP/ALP (1998)

Keyphrases

dynamic analysis
computer programs
static analysis
artificial intelligence
information retrieval
feature selection
image processing
high level
evolutionary algorithm
statistical analysis
control program