Static Analysis in Finitely Supported Mathematics.

Andrei Alexandru Gabriel Ciobanu

Published in: SYNASC (2015)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
regular expressions
java card
abstract interpretation
inductive inference
test suite
anomaly detection
model checking
domain specific
open source
object oriented
test generation
computer science
case study
databases
data sets