Login / Signup
A Case Study on State-Based Robustness Testing of an Operating System for the Avionic Domain.
Domenico Cotroneo
Domenico Di Leo
Roberto Natella
Roberto Pietrantuono
Published in:
SAFECOMP (2011)
Keyphrases
</>
operating system
computer systems
microsoft windows
virtual machine
windows xp
case study
operating environment
memory management
virtual memory
databases
parallel algorithm
distributed systems
object oriented
address space
multi tasking
high assurance
red hat