Coverage-Guided Fuzzing for Plan-Based Robotics

Tim Meywerk; Vladimir Herdt; Vladimir Herdt; Rolf Drechsler

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Coverage-Guided Fuzzing for Plan-Based Robotics

Topics: Autonomous Systems; Planning and Scheduling; Privacy, Safety, Security, and Ethical Issues; Task Planning and Execution

In Proceedings of the 15th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 106-114, 2023 , Lisbon, Portugal

Authors: Tim Meywerk ¹ ; Vladimir Herdt ^{1

;

2} and Rolf Drechsler ²

Affiliations: ¹ Group of Computer Architecture, University of Bremen, Bremen, Germany ; ² Cyber-Physical Systems, DFKI GmbH, Bremen, Germany

Keyword(s): Plan-based robotics, Safety, Fuzzing.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.145.89.150

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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; ISSN 2184-433X, SciTePress, pages 106-114. DOI: 10.5220/0011630600003393

@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},
issn={2184-433X},
}

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
IS - 2184-433X
AU - Meywerk, T.
AU - Herdt, V.
AU - Drechsler, R.
PY - 2023
SP - 106
EP - 114
DO - 10.5220/0011630600003393
PB - SciTePress