Counters in Kappa: Semantics, Simulation, and Static Analysis.

Pierre Boutillier Ioana Cristescu Jérôme Feret

Published in: ESOP (2019)

Keyphrases

static analysis
dynamic analysis
source code
simulation model
abstract interpretation
test suite
regular expressions
logic programming
java card
symbolic execution
semantic information
programming language
training data
high level
decision trees
malicious code
data sets