Coeffects: Unified Static Analysis of Context-Dependence.

Tomas Petricek Dominic A. Orchard Alan Mycroft

Published in: ICALP (2) (2013)

Keyphrases

static analysis
dynamic analysis
source code
malicious code
symbolic execution
contextual information
regular expressions
artificial intelligence
building blocks
test generation
real world
test case generation
abstract interpretation