Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Randoop : Feedback-Directed Random Testing for Java
Jcrasher: an automatic robustness tester for java
Combined static and dynamic automated test generation
An automated framework for software test oracle
FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage
The KeY Platform for Verification and Analysis of Java Programs
Automated Test Case Generation and Optimization : A Comparative Review
A comparison of coverage-based and distribution-based techniques for filtering and prioritizing test cases
A Software Test Data Generation Tool for Unit Testing Of C + + Programs Using Control Flow Graph
Learning to Prioritize Test Programs for Compiler Testing
The influence of size and coverage on test suite effectiveness
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
Symbolic execution and program testing
Dynamic data flow testing of object oriented systems
Symbolic execution for software testing in practice: preliminary assessment
JUG: a JUnit generation, time complexity analysis and reporting tool to streamline grading
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Empirically Evaluating the Quality of Automatically Generated and Manually Written Test Suites
Automated testing of GUI applications: models, tools, and controlling flakiness
Observations and lessons learned from automated testing
Automated Whitebox Fuzz Testing
Korat: automated testing based on Java predicates
All One Needs to Know about Fog Computing and Related Edge Computing Paradigms: A Complete Survey
Validation of an Automatic Metric for the Accuracy of Pronoun Translation (APT)
Stability and performance of the compliance controller of the quadruped robot HyQ
Feasibility and safety of shared EEG/EOG and vision-guided autonomous whole-arm exoskeleton control to perform activities of daily living