A Theory of Predicate-Complete Test Coverage and Generation

A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs

Evaluating Fuzz Testing

Korat: Automated Testing Based on Java Predicates

Feedback-Directed Random Test Generation

NEZHA: Efficient Domain-Independent Differential Testing

Finding and Understanding Bugs in C Compilers

DeepXplore: Automated Whitebox Testing of Deep Learning Systems

Pointer Analysis