Software-implemented fault injection in operating system kernel mutex data structure.
Bartolomeo MontrucchioMaurizio RebaudengoAlejandro David VelascoPublished in: LASCAS (2014)
Keyphrases
- operating system
- computer systems
- data structure
- fault injection
- windows xp
- microsoft windows
- multi tasking
- linux kernel
- java card
- virtual machine
- operating environment
- application level
- high assurance
- application programs
- data processing
- distributed systems
- software systems
- source code
- memory management
- red hat
- smart card
- test cases
- software development
- information systems
- databases
- software architecture
- case study
- web services
- direct memory access