SABRINE: State-based robustness testing of operating systems.

Domenico Cotroneo Domenico Di Leo Francesco Fucci Roberto Natella

Published in: ASE (2013)

Keyphrases

operating system
computer systems
distributed systems
windows xp
virtual machine
security mechanisms
virtual memory
microsoft windows
linux kernel
databases
application level
memory management