Research on fuzzing, property-based testing, and their combination to improve software quality and security.