Foreword to the special issue on the 2017 Static Analysis Symposium.

Francesco Ranzato

Published in: Formal Methods Syst. Des. (2019)

Keyphrases

special issue
static analysis
dynamic analysis
source code
ecml pkdd
symbolic execution
applied intelligence
ai edam
computer science
malicious code
artificial intelligence
test generation
international journal
special section
java card
invited talk
regular expressions
selected papers
abstract interpretation