Coverage-Driven SLAM Testing

doi: 10.4121/21946514.v1
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
doi: 10.4121/21946514
Datacite citation style:
Philip Tasche; Paula Herber (2023): Coverage-Driven SLAM Testing. Version 1. 4TU.ResearchData. software.
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite

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

  • 2023-01-25 first online, published, posted
*.py; *.png; *.txt
University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools (FMT)
University of M√ľnster, Faculty of Mathematics and Computer Science


files (1)