Supporting oracle construction via static analysis.

Junjie Chen Yanwei Bai Dan Hao Lingming Zhang Lu Zhang Bing Xie Hong Mei

Published in: ASE (2016)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
java card
malicious code
abstract interpretation
regular expressions
database
test suite
artificial intelligence
case study
xml schema
test generation