Sign in
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