Testing autonomous cyber-physical systems using fuzzing features from convolutional neural networks: work-in-progress

Conference · Wed Nov 01 00:00:00 EDT 2017

DOI:https://doi.org/10.1145/3125503.3125568· OSTI ID:1474696

Raj, Sunny ^[1]; Jha, Sumit Kumar ^[1]; Ramanathan, Arvind  ^[2]; Pullum, Laura  ^[2]

---

1. University of Central Florida, Orlando
2. ORNL

Autonomous cyber-physical systems rely on modern machine learning methods such as deep neural networks to control their interactions with the physical world. Testing of such intelligent cyber-physical systems is a challenge due to the huge state space associated with high-resolution visual sensory inputs. We demonstrate how fuzzing the input using patterns obtained from the convolutional filters of an unrelated convolutional neural network can be used to test computer vision algorithms implemented in intelligent cyber-physical systems. Our method discovers interesting counterexamples to a pedestrian detection algorithm implemented in the popular OpenCV library. Our approach also unearths counterexamples to the correct behavior of an autonomous car similar to NVIDIA's end-to-end self-driving deep neural net running on the Udacity open-source simulator.

• Research Organization: Oak Ridge National Laboratory (ORNL), Oak Ridge, TN (United States)
• Sponsoring Organization: USDOE
• DOE Contract Number: AC05-00OR22725
• OSTI ID: 1474696
• Resource Relation: Conference: ACM SIGBED International Conference on Embedded Software (EMSOFT) - Seoul, , South Korea - 10/8/2017 4:00:00 AM-10/11/2017 4:00:00 AM
• Country of Publication: United States
• Language: English