Automated testing that feeds random and adversarial inputs to expose bugs and invariants violations.