Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Automatic Mutation Test Case Generation via Dynamic Symbolic Execution
An Analysis and Survey of the Development of Mutation Testing
Javalanche: efficient mutation testing for Java
A hybrid symbolic execution assisted fuzzing method
Exploiting Trade-off s in Symbolic Execution for Identifying Security Bugs
Regular property guided dynamic symbolic execution
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing
Combined static and dynamic automated test generation
A System to Generate Test Data and Symbolically Execute Programs
Metamorphic Testing: A New Approach for Generating Next Test Cases
Combining unit-level symbolic execution and system-level concrete execution for testing nasa software
Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria
FairFuzz: A Targeted Mutation Strategy for Increasing Greybox Fuzz Testing Coverage
An orchestrated survey of methodologies for automated software test case generation
Enhancing symbolic execution with veritesting
KIL: An Abstract Intermediate Language for Symbolic Execution and Test Generation of C++ Programs
MoMut::UML Model-Based Mutation Testing for UML
Automated Test Case Generation and Optimization : A Comparative Review
On Benchmarking the Capability of Symbolic Execution Tools with Logic Bombs
Heuristics for Scalable Dynamic Test Generation
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots
Efficient OFDM Denial in the Absence of Channel Information
A Genetic Algorithm Tutorial
A System to Generate Test Data and Symbolically Execute Programs
New disinfection and sterilization methods.