Philip Tasche; Paula Herber (2023): Coverage-Driven SLAM Testing. Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/21946514.v1

Version 2 - 2025-09-10 (latest)

Usage statistics

Categories

• Computer Software

Keywords

Autonomous Vehicles Coverage-driven Testing Input space partitioning Simultaneous localization and mapping (SLAM) Test Automation

Licence

MIT

Interoperability

• RO-Crate Metadata

Export as...

RefWorks BibTeX Reference Manager Endnote DataCite NLM DC CFF

by Philip Tasche , Paula Herber

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.

History

• 2023-01-25 first online, published, posted

Publisher

4TU.ResearchData

Format

*.py; *.png; *.txt

References

• https://github.com/EmbSys-WWU/SLAMtesting

Organizations

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