1 Hit in 1.3 sec

PGFUZZ: Policy-Guided Fuzzing for Robotic Vehicles

Hyungsub Kim, Muslum Ozgur Ozmen, Antonio Bianchi, Z. Berkay Celik, Dongyan Xu
2021 Proceedings 2021 Network and Distributed System Security Symposium   unpublished
PGFUZZ includes three interconnected components: (1) Pre-Processing, (2) Policy-Guided Fuzzing, and (3) Bug Post-Processing.  ...  PGFUZZ expresses desired policies through temporal logic formulas with time constraints as a guide to fuzz the analyzed system.  ...  CONCLUSIONS We introduce PGFUZZ, a policy-guided fuzzing framework, which leverages policies represented by temporal logic with timing constraints to find bugs in robotic vehicle control software.  ... 
doi:10.14722/ndss.2021.24096 fatcat:eihty35vivc5bba7jsis2atwpu