C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Static analysis based invariant detection for commodity operating systems.
Jinpeng Wei
Feng Zhu
Yasushi Shinjo
Published in:
CollaborateCom (2011)
Keyphrases
</>
operating system
static analysis
dynamic analysis
computer systems
windows xp
source code
test suite
distributed systems
anti virus
virtual machine
multi tasking
multi threaded
regular expressions
virtual memory
database
reverse engineering
test set
anomaly detection
data processing
object oriented
data model