Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Concolic testing
Symbolic execution and program testing
A Survey on Unit Testing Practices and Problems
Are test cases needed? Replicated comparison between exploratory and test-case-based software testing
A framework for practical, automated black-box testing of component-based software
Turning programs against each other: high coverage fuzz-testing using binary-code mutation and dynamic slicing
A Type-Theoretical system for the FraCaS test suite: Grammatical Framework meets Coq.
Efficient Testing of Recovery Code Using Fault Injection
SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing
Using Semantic Differencing to Reduce the Cost of Regression Testing
Combining symbolic execution and model checking for data flow testing
Specification and Verification of Concurrent Programs by forall-Automata
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
Automatic Testing with Formal Methods
Automatic generation of test scripts from formal test specifications
Falcon: fault localization in concurrent programs
Code coverage and test suite effectiveness: Empirical study with real bugs in large systems
A history-based test prioritization technique for regression testing in resource constrained environments
Learning to Prioritize Test Programs for Compiler Testing
Automated testing of refactoring engines
A safe, efficient regression test selection technique
Moderate alcohol intake and lower risk of coronary heart disease: meta-analysis of effects on lipids and haemostatic factors.
Randomized clinical trial of stapled hemorrhoidectomy vs open with Ligasure for prolapsed piles
Stiction Compensation in Agonist-Antagonist Variable Stiffness Actuators.
Privacy Preserving Policy-Based Content Sharing in Public Clouds
Korat: automated testing based on Java predicates