Artefacts and Datasets
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, 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.