Sign in
Static Analysis Symposium 2003.
Radhia Cousot
Published in:
Sci. Comput. Program. (2005)
Keyphrases
</>
static analysis
dynamic analysis
source code
artificial intelligence
computer science
regular expressions
symbolic execution
java card
malicious code
test generation
invited talk
database
pattern matching
abstract interpretation
information security
test suite