cff-version: 1.2.0
abstract: "<p>This dataset contains software to automatically generate high-coverage tests for SLAM algorithms by partitioning of the input space. It also contains some pre-generated test suites, experimental results comparing the performances of different generation methods, and replication information for the experiments. For details on how to adjust the test case generation as well as detailed replication instructions, refer to the enclosed README.md.</p>"
authors:
  - family-names: Tasche
    given-names: Philip
    orcid: "https://orcid.org/0000-0003-1518-4079"
  - family-names: Herber
    given-names: Paula
    orcid: "https://orcid.org/0000-0002-5349-154X"
title: "Coverage-Driven SLAM Testing"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/21946514.v1
license: MIT
date-released: 2023-01-25