[rwth-security] AirBugCatcher: Automated Wireless Reproduction of IoT Bugs