Static Analysis in Disjunctive Numerical Domains.

Sriram Sankaranarayanan Franjo Ivancic Ilya Shlyakhter Aarti Gupta

Published in: SAS (2006)

Keyphrases

static analysis
dynamic analysis
source code
abstract interpretation
symbolic execution
malicious code
java card
test generation
test suite
real world
regular expressions
answer sets
data exchange
open source
object oriented
data warehouse
case study
databases