Skip to content

@tudo-aqua AQUA - Automated Quality Assurance

Change the repository type filter

All

    Repositories list

    53 repositories

    • konstraints

      Public
      SMT
      •0•1•10•0•Updated Aug 21, 2025Aug 21, 2025

    • stars-export-carla

      Public
      A batch generator of driving scenarios from the CARLA simulator
      Python
      •
      Apache License 2.0
      •2•2•2•0•Updated Aug 21, 2025Aug 21, 2025

    • stars

      Public
      STARS - Scenario-Based Testing of Automated Robotic Systems
      Kotlin
      •
      Apache License 2.0
      •5•10•17•4•Updated Aug 21, 2025Aug 21, 2025

    • rereso

      Public
      Reusable Research Software: Data Types, Schemas, and Utilities
      Kotlin
      •0•0•0•7•Updated Aug 21, 2025Aug 21, 2025

    • turnkey-gradle-plugin

      Public
      A helper plugin for transforming existing libraries into TurnKey bundles.
      Kotlin
      •0•0•0•7•Updated Aug 21, 2025Aug 21, 2025

    • cvc5-turnkey

      Public
      TurnKey artifact for cvc5
      Java
      •0•1•0•9•Updated Aug 21, 2025Aug 21, 2025

    • z3-turnkey

      Public
      TurnKey artifact for Z3
      Java
      •6•39•1•8•Updated Aug 21, 2025Aug 21, 2025

    • heat-pump-mining

      Public
      Heat Pump Mining Tools
      Kotlin
      •0•1•0•6•Updated Aug 21, 2025Aug 21, 2025

    • turnkey-support

      Public
      A support library for loading and writing TurnKey bundles.
      Java
      •0•1•0•6•Updated Aug 19, 2025Aug 19, 2025

    • stars-carla-experiments

      Public
      This repository analyzes driving data recorded with the Carla Simulator using the STARS framework.
      classificationstarsautonomous-drivingautonomous-vehiclescarla-simulator
      Kotlin
      •
      Apache License 2.0
      •5•5•3•2•Updated Aug 19, 2025Aug 19, 2025

    • bgw

      Public
      BoardGameWork
      Kotlin
      •
      Apache License 2.0
      •17•31•17•5•Updated Aug 18, 2025Aug 18, 2025

    • whilestar

      Public
      The While* Virtual Machine
      Kotlin
      •3•2•0•1•Updated Aug 1, 2025Aug 1, 2025

    • rereso-case-studies

      Public
      ReReSo Case Studies
      Python
      •0•0•0•0•Updated Jul 11, 2025Jul 11, 2025

    • stars-owa-coverage

      Public
      This repository evaluates the effects of uncertainties on scenario coverage.
      Kotlin
      •
      Apache License 2.0
      •0•2•0•2•Updated Mar 24, 2025Mar 24, 2025

    • stars-auna-experiments

      Public
      This repository analyzes driving data recorded with model race cars in a platooning scenario using the STARS framework.
      classificationstarsautonomous-vehiclesformal-verificationautonomous-robotsplatooningauna
      Kotlin
      •0•2•2•0•Updated Jan 31, 2025Jan 31, 2025

    • spout

      Public
      SPouT: Symbolic Path Recording During Testing
      Java
      •
      Other
      •1.7k•6•5•9•Updated Jan 23, 2025Jan 23, 2025

    • stars-combinatorial-testing

      Public
      Kotlin
      •
      Apache License 2.0
      •5•0•0•0•Updated Jan 10, 2025Jan 10, 2025

    • carla

      Public
      Open-source simulator for autonomous driving research.
      C++
      •
      MIT License
      •4.2k•0•0•0•Updated Dec 18, 2024Dec 18, 2024

    • IFFlow

      Public
      Java
      •0•0•0•0•Updated Dec 2, 2024Dec 2, 2024

    • securibench-micro

      Public
      Securibench Micro is a benchmark for static analysis tools for security.
      Java
      •
      Apache License 2.0
      •24•2•0•0•Updated Nov 26, 2024Nov 26, 2024

    • jconstraints

      Public
      A constraint solver abstraction layer for Java
      SMT
      •
      Apache License 2.0
      •3•6•0•3•Updated Nov 26, 2024Nov 26, 2024

    • dse

      Public
      DSE: a generic dynamic symbolic execution engine
      Java
      •
      Apache License 2.0
      •1•5•1•1•Updated Nov 26, 2024Nov 26, 2024

    • temporal-logic-latex-package

      Public
      Latex package for temporal logic operators
      temporal-logiclatex-package
      TeX
      •
      LaTeX Project Public License v1.3c
      •0•2•2•0•Updated Nov 5, 2024Nov 5, 2024

    • Very-Insecure-Web-App

      Public
      An intentionally insecure forum application
      PHP
      •0•0•0•0•Updated Jun 24, 2024Jun 24, 2024

    • verifier-stub

      Public
      Java
      •
      Apache License 2.0
      •1•0•0•0•Updated May 31, 2024May 31, 2024

    • gdart

      Public
      GDart: Dynamic Symbolic Execution for the JVM
      Shell
      •
      Other
      •6•2•2•3•Updated May 29, 2024May 29, 2024

    • rage

      Public
      RAGe: A Generator for Register Automata
      Kotlin
      •1•0•0•7•Updated Apr 25, 2024Apr 25, 2024

    • carla-data-generator

      Public
      A batch generator of driving scenarios from the CARLA simulator
      Python
      •
      Apache License 2.0
      •2•1•0•0•Updated Dec 5, 2023Dec 5, 2023

    • pinaht

      Public
      Result of PG 625 - EaT CTFs
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 20, 2023Jul 20, 2023

    • paper-reproduction-package-ase2021

      Public
      SMT
      •
      Other
      •0•0•0•0•Updated Jan 9, 2023Jan 9, 2023