An effective dynamic analysis for detecting generalized deadlocks.

Pallavi Joshi Mayur Naik Koushik Sen David Gay

Published in: SIGSOFT FSE (2010)

Keyphrases

dynamic analysis
static analysis
reverse engineering
neural network
databases
machine learning
genetic algorithm
metadata
expert systems
computationally efficient
regular expressions
abstract interpretation