Enhancing Remote Method Invocation through Type-Based Static Analysis.

Carlo Ghezzi Vincenzo Martena Gian Pietro Picco

Published in: FASE (2004)

Keyphrases

static analysis
dynamic analysis
source code
regular expressions
abstract interpretation
test suite
high level
training set
data warehouse
data management
test cases