Mailbox Abstractions for Static Analysis of Actor Programs.

Quentin Stiévenart Jens Nicolay Wolfgang De Meuter Coen De Roover

Published in: ECOOP (2017)

Keyphrases

static analysis
symbolic execution
dynamic analysis
source code
abstract interpretation
java card
malicious code
high level
regular expressions
test generation
api calls
test suite
control flow
data mining
real world
databases
data sets
database