Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Testing Closed-Source Binary Device Drivers with DDT
Reverse engineering of binary device drivers with RevNIC
Evaluating Symbolic Execution-Based Test Tools
Proteum - A Tool for the Assessment of Test Adequacy for C Programs: User's guide
NEZHA: Efficient Domain-Independent Differential Testing
A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IRCS-018 , January 2006
Dytan: a generic dynamic taint analysis framework
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
A Comparison of Static Analysis Tools for Vulnerability Detection in C / C + + Code
Memsherlock: an automated debugger for unknown memory corruption vulnerabilities
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code
DroidRay: a security evaluation system for customized android firmwares
kAFL: Hardware-Assisted Feedback Fuzzing for {OS} Kernels
File-system intrusion detection by preserving MAC DTS: a loadable kernel module based approach for LINUX kernel 2.6.x
Down to the bare metal: using processor features for binary analysis
Detecting kernel-level rootkits through binary analysis
Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing
Brahmastra: driving apps to test the security of third-party components
Cross-Architecture Bug Search in Binary Executables
Chizpurfle: A Gray-Box Android Fuzzer for Vendor Service Customizations
DRIVE: Dynamic Runtime Integrity Verification and Evaluation
Movement-assisted sensor deployment
QEMU, a Fast and Portable Dynamic Translator
Blossom: A Tensile Social Robot Design with a Handcrafted Shell
Searching optimal movements in multi-player games with imperfect information
AN EXPLORATORY STUDY OF FACTORS INDICATIVE OF AFFECTIVE STATES OF STUDENTS USING SQL-TUTOR