A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
Proceedings 2021 Network and Distributed System Security Symposium
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