Effective pattern-driven concurrency bug detection for operating systems.

Shin Hong Moonzoo Kim

Published in: J. Syst. Softw. (2013)

Keyphrases

operating system
computer systems
software systems
operating environment
virtual machine
windows xp
databases
source code
application programs
memory management
database systems
concurrency control
business rules
microsoft windows
linux kernel