PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles
Hyungsub Kim, Muslum Ozgur Ozmen, Antonio Bianchi, Z. Berkay Celik, Dongyan Xu
Abstract
improperly allowed them to activate the anti-stall system
Topics & Concepts
Fuzz testingComputer scienceProgramming languageSoftwareFormal Methods in VerificationReal-Time Systems SchedulingSoftware Testing and Debugging Techniques