CAB-Fuzz: Practical Concolic Testing Techniques for COTS Operating Systems.
Su Yong KimSangho LeeInsu YunWen XuByoungyoung LeeYoungtae YunTaesoo KimPublished in: USENIX Annual Technical Conference (2017)
Keyphrases
- operating system
- computer systems
- virtual machine
- windows xp
- application programs
- memory management
- distributed systems
- third party
- application level
- database
- multi threaded
- databases
- multi tasking
- database software
- security mechanisms
- software components
- microsoft windows
- operating environment
- address space
- linux kernel
- discretionary access control