Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: CONCURRIT: a domain specific language for reproducing concurrency bugs
Race directed random testing of concurrent programs
CML: A Higher-Order Concurrent Language.
Fuzzing: The State of the Art
FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage
EvilCoder: automated bug insertion
FixMiner: Mining Relevant Fix Patterns for Automated Program Repair
CMC: a pragmatic approach to model checking real code
A buffer overflow benchmark for software model checkers
CTrigger: exposing atomicity violation bugs from their hiding places
Combining symbolic execution with model checking to verify parallel numerical programs
BLoG: post-silicon bug localization in processors using bug localization graphs
Don't sweat the small stuff: formal verification of C code without the pain
Iris from the ground up: A modular foundation for higher-order concurrent separation logic
Scalable and incremental software bug detection
Modular and verified automatic program repair
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs
Action Language Verifier: An Infinite-State Model Checker for Reactive Software Specifications
A New Notion of Compositionality for Concurrent Program Proofs (Invited Talk)
Valgrind: A Program Supervision Framework
RacerX: effective, static detection of race conditions and deadlocks
Fast and Efficient Pedestrian Detection via the Cascade Implementation of an Additive Kernel Support Vector Machine
The hub-and-spoke organization design: an avenue for serving patients well
Deception detection expertise.
Blind PARAFAC Receivers for DS-CDMA Systems