Static Analysis of Deterministic Negotiations.

Javier Esparza Anca Muscholl Igor Walukiewicz

Published in: CoRR (2017)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
test generation
regular expressions
artificial intelligence
training data
object oriented
reverse engineering
test suite
abstract interpretation