Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution
Symbolic execution and program testing
Complementing Model Learning with Mutation-Based Fuzzing
What You Corrupt Is Not What You Crash: Challenges in Fuzzing Embedded Devices
Selective Symbolic Execution
SECFUZZ: Fuzz-testing security protocols
Making Malory Behave Maliciously: Targeted Fuzzing of Android Execution Environments
MultiSE: multi-path symbolic execution using value summaries
discovRE: Efficient Cross-Architecture Identification of Bugs in Binary Code
Efficient Testing of Recovery Code Using Fault Injection
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
Deep Reinforcement Fuzzing
WhirlingFuzzwork: a taint-analysis-based API in-memory fuzzing framework
Program-Adaptive Mutational Fuzzing
A systematic survey on automated concurrency bug detection, exposing, avoidance, and fixing techniques
Hybrid Concolic Testing
Enhancing Memory Error Detection for Large-Scale Applications and Fuzz Testing
ExploitMeter: Combining Fuzzing with Machine Learning for Automated Evaluation of Software Exploitability
GramFuzz: Fuzzing testing of web browsers based on grammar analysis and structural mutation
VUzzer : Application - aware Evolutionary Fuzzing
Combining symbolic execution with model checking to verify parallel numerical programs
Spatial Pyramid Pooling in Structured Sparse Representation for Flame Detection
Emulating emulation-resistant malware
Assessment of the use of theories within the journal of financial counseling and planning and the contribution of the family financial socialization conceptual model
PointNet: Deep Learning on Point Sets for 3D Classification and Segmentation
Meta-analytic Reviews in the Organizational Sciences: Two Meta-analytic Schools on the Way to MARS (the Meta-analytic Reporting Standards)