An Approach to Behavioral Subtyping Based on Static Analysis.

Francesco Logozzo

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

static analysis
dynamic analysis
source code
abstract interpretation
symbolic execution
java card
regular expressions
test suite
malicious code
programming language
open source
test generation
database
xml documents
data model