Artefacts, Datasets and Packages
Benchmark Suites
- Rigorous Examination of Reactive Systems (RERS)
- SVComp benchmark instances based on Securibench Micro
- Extended Version of the IFSPEC Benchmark set (IFFlow)
Reproduction Packages
- Till Schallau, Dominik Schmid, Nick Pawlinorz, Harun Teper, Stefan Naujokat, Jian-Jia Chen, Falk Howar: Post-hoc Scenario-based Testing of Automated Driving Systems: Classification of Driving Scenarios and Checking of Functional Requirements in Recorded Data, (2024). https://github.com/tudo-aqua/stars-auna-experiments
- Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk Howar: Tree-Based Scenario Classification: A Formal Framework for Coverage Analysis on Test Drives of Autonomous Vehicles - Replication Artifact, (2023). https://doi.org/10.5281/zenodo.8131947.
- Jan Kemming, Simon Dierl, Falk Howar, Malte Mues: GDart-LLVM Artifact for SV-COMP 2023, (2022). https://doi.org/10.5281/zenodo.7469815.
- Simon Dierl, Falk Howar: Reach on Register Automata via History Independence – Replication Artifact, (2022). https://doi.org/10.5281/zenodo.6367981.
- Malte Mues, Falk Howar: tudo-aqua/paper-reproduction-package-ase2021: Reproduction Package for the ASE 2021 AEC Committee, (2021). https://doi.org/10.5281/zenodo.5226127.
- Malte Mues, Till Schallau, Falk Howar: Artifact for `Jaint: A Framework for User-Defined Dynamic Taint-Analyses based on Dynamic Symbolic Execution of Java Programs', (2020). https://doi.org/10.5281/zenodo.4060244.
- Malte Mues, Sebastian Gerard, Falk Howar: Identification of Spurious Labels in MachineLearning Data Sets using N-Version Validation, (2020). https://github.com/tudo-aqua/n-version-label-validation.
- Malte Isberner, Falk Howar, Bernhard Steffen: Example project to be used in the context of the CAV2015 Demo, (2015). https://github.com/LearnLib/cav2015-example, https://github.com/LearnLib/cav2015-demo.
- Falk Howar: Tutorial files for LearnLib Tutorial at ASE 2013, (2013). https://github.com/LearnLib/learnlib-ase2013-tutorial.
LaTeX Packages
- Dominik Schmid, Till Schallau: Latex package for Temporal Logic Operators (2024). https://github.com/tudo-aqua/temporal-logic-latex-package