Just-in-time static analysis.

Lisa Nguyen Quang Do Karim Ali Benjamin Livshits Eric Bodden Justin Smith Emerson R. Murphy-Hill

Published in: ISSTA (2017)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
malicious code
test generation
java card
regular expressions
test suite
learning algorithm
artificial intelligence
xml documents
semantic information
abstract interpretation
mixed model assembly