Static Analysis of Programs with Imprecise Probabilistic Inputs.

Assalé Adjé Olivier Bouissou Jean Goubault-Larrecq Eric Goubault Sylvie Putot

Published in: VSTTE (2013)

Keyphrases

static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
malicious code
java card
regular expressions
bayesian networks
test generation
probabilistic model
continuous valued
open source
test suite
reverse engineering
uncertain data
test cases
building blocks
programming language