Sign in
Mailbox Abstractions for Static Analysis of Actor Programs (Artifact).
Quentin Stiévenart
Jens Nicolay
Wolfgang De Meuter
Coen De Roover
Published in:
Dagstuhl Artifacts Ser. (2017)
Keyphrases
</>
static analysis
symbolic execution
dynamic analysis
abstract interpretation
source code
test generation
java card
high level
malicious code
test suite
data sets
regular expressions
database
real world
artificial intelligence
open source