Coverage-Guided Fuzzing for Plan-Based Robotics

Tim Meywerk, Vladimir Herdt, Vladimir Herdt, Rolf Drechsler

2023

Abstract

Autonomous robots are used increasingly in dynamic and safety-critical environments. In these environments the correctness of the robotic plan is of utmost importance. In many other domains, coverage-guided fuzzing has proven to be an effective way to ensure the correctness of software programs. In coverage-guided fuzzing, inputs to a program are generated semi-randomly and the correctness of the output is checked automatically. This way, a large number of test cases can be run without manual interaction. In this work we present our approach to coverage-guided fuzzing for plan-based robotics and our prototypical implementation for the planning language CPL. We also introduce a novel coverage metric for the domain of plan-based robotics.

Paper Citation

in Harvard Style

Meywerk T., Herdt V. and Drechsler R. (2023). Coverage-Guided Fuzzing for Plan-Based Robotics. In Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-623-1, pages 106-114. DOI: 10.5220/0011630600003393

in Bibtex Style

@conference{icaart23,
author={Tim Meywerk and Vladimir Herdt and Rolf Drechsler},
title={Coverage-Guided Fuzzing for Plan-Based Robotics},
booktitle={Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2023},
pages={106-114},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0011630600003393},
isbn={978-989-758-623-1},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Coverage-Guided Fuzzing for Plan-Based Robotics
SN - 978-989-758-623-1
AU - Meywerk T.
AU - Herdt V.
AU - Drechsler R.
PY - 2023
SP - 106
EP - 114
DO - 10.5220/0011630600003393