Static Analysis of Finite Precision Computations.

Eric Goubault Sylvie Putot

Published in: VMCAI (2011)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
abstract interpretation
test suite
precision and recall
high precision
open source
database
test generation
database systems
case study
databases
regular expressions
domain knowledge
relational databases
data sets