Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Evaluating Symbolic Execution-Based Test Tools
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Automated Security Analysis of Dynamic Web Applications through Symbolic Code Execution
A test generation strategy for pairwise testing
Proteum - A Tool for the Assessment of Test Adequacy for C Programs: User's guide
Code obfuscation against symbolic execution attacks
An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing
A structured approach to post-silicon validation and debug using symbolic quick error detection
Model-based Testing
Tutorial: Static Analysis and Dynamic Testing of Computer Software
SMT-C: A Semantic Mutation Testing Tools for C
Symbolic Execution for Deep Neural Networks
A Software Test Data Generation Tool for Unit Testing Of C + + Programs Using Control Flow Graph
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
DeepFuzz: Automatic Generation of Syntax Valid C Programs for Fuzz Testing
Empirical Studies of Test-Suite Reduction
A survey of combinatorial testing
Automatic generation of test scripts from formal test specifications
A framework for practical, automated black-box testing of component-based software
Angora: Efficient Fuzzing by Principled Search
Counterexample-guided abstraction refinement for symbolic model checking
Heuristics for Scalable Dynamic Test Generation
An active role for machine learning in drug development
Security awareness of computer users: A phishing threat avoidance perspective
Stoic Ethics for Artificial Agents
Andromeda : Observation-Level and Parametric Interaction for Exploratory Data Analysis