Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Calfuzzer: An extensible active testing framework for concurrent programs
Race directed random testing of concurrent programs
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
A program testing system
Randoop : Feedback-Directed Random Testing for Java
The ASTOOT approach to testing object-oriented programs
Fuzzing: State of the Art
Jcrasher: an automatic robustness tester for java
Adaptive Grey-Box Fuzz-Testing with Thompson Sampling
Automatic verification of probabilistic concurrent finite state programs
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
Automated Whitebox Fuzz Testing
Testing Programs with the Aid of a Compiler
A Model-Based Fuzz Framework to the Security Testing of TCG Software Stack Implementations
Hybrid Concolic Testing
The future of grey-box fuzzing
AutoBlackTest: a tool for automatic black-box testing
FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage
Combinatorial Testing of ACTS: A Case Study
An evaluation of white- and gray-box testing tools for C#, C++, Eiffel, and Java
Automated concurrency-bug fixing
Type-based race detection for Java
Uncovering the relational web
Software Reuse
A strategic analysis of electronic marketplaces
A Comparison of SBC and G.722 Speech Codecs for Bluetooth Wideband Speech Transmission