Linked Presentation: RVFuzzer: Finding Input Validation Bugs in Robotic Vehicles through Control-Guided Testing
