Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Linux Kernel Developer Responses to Static Analysis Bug Reports
Using Static Analysis to Find Bugs
A survey on bug-report analysis
Improving C++ Software Quality with Static Code Analysis
Tutorial: Static Analysis and Dynamic Testing of Computer Software
On the Relation between External Software Quality and Static Code Analysis
ALETHEIA: Improving the Usability of Static Security Analysis
Survey of Approaches for Handling Static Analysis Alarms
Assessing Code Authorship: The Case of the Linux Kernel
The Linux Kernel as a Case Study in Software Evolution
A Static Analyzer for Large Safety-Critical Software
Maintainability of the Linux kernel
Precise and Scalable Detection of Double-Fetch Bugs in OS Kernels
A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics
Analyzing and improving Linux kernel memory protection: a model checking approach
MACE: high-coverage and robust memory analysis for commodity operating systems
Improving penetration testing through static and dynamic analysis
Static analysis tools as early indicators of pre-release defect density
Linux kernel integrity measurement using contextual inspection
Improving the Usefulness of Alerts Generated by Automated Static Analysis Tools
Finding Security Vulnerabilities in Java Applications with Static Analysis
Local Maxima in the Likelihood of Gaussian Mixture Models: Structural Results and Algorithmic Consequences
Isolated Rheumatoid Nodules: A Diagnostic Dilemma
Software Project Effort Estimation
From the elastica compass to the elastica catapult: an essay on the mechanics of soft robot arm
Tracking defect warnings across versions