Sign in
A hybrid static analysis refinement approach within internetware environment.
Dalin Zhang
Gang Yin
Dahai Jin
Yunzhan Gong
Tianshuang Wu
Hailong Zhang
Published in:
Internetware (2015)
Keyphrases
</>
static analysis
service oriented
dynamic analysis
test generation
malicious code
test suite
regular expressions
abstract interpretation
java card
dynamic environments
source code
mobile robot
real time
integrity constraints
open source
data warehouse
database