Login / Signup
Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis.
Kihong Heo
Hakjoo Oh
Kwangkeun Yi
Published in:
Softw. Pract. Exp. (2017)
Keyphrases
</>
static analysis
dynamic analysis
domain specific
contextual information
test generation
source code
global context
database
symbolic execution
abstract interpretation
domain experts
global information
java card
global knowledge