Skip to content

@tudo-aqua AQUA - Automated Quality Assurance

Change the repository type filter

All

    Repositories list

    50 repositories

    • spout

      Public
      SPouT: Symbolic Path Recording During Testing
      Java
      •
      Other
      •1.7k•5•0•3•Updated Jan 22, 2025Jan 22, 2025

    • bgw

      Public
      BoardGameWork
      Kotlin
      •
      Apache License 2.0
      •16•25•19•7•Updated Jan 21, 2025Jan 21, 2025

    • konstraints

      Public
      SMT
      •0•1•11•0•Updated Jan 21, 2025Jan 21, 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
      •4•4•3•3•Updated Jan 20, 2025Jan 20, 2025

    • turnkey-support

      Public
      A support library for loading and writing TurnKey bundles.
      Java
      •0•0•0•3•Updated Jan 20, 2025Jan 20, 2025

    • turnkey-gradle-plugin

      Public
      A helper plugin for transforming existing libraries into TurnKey bundles.
      Kotlin
      •0•0•0•3•Updated Jan 20, 2025Jan 20, 2025

    • stars-owa-coverage

      Public
      This repository evaluates the effects of uncertainties on scenario coverage.
      Kotlin
      •
      Apache License 2.0
      •0•1•0•3•Updated Jan 20, 2025Jan 20, 2025

    • cvc5-turnkey

      Public
      TurnKey artifact for cvc5
      Java
      •0•0•0•3•Updated Jan 20, 2025Jan 20, 2025

    • z3-turnkey

      Public
      TurnKey artifact for Z3
      Java
      •6•36•1•3•Updated Jan 20, 2025Jan 20, 2025

    • stars

      Public
      STARS - Scenario-Based Testing of Automated Robotic Systems
      Kotlin
      •
      Apache License 2.0
      •4•10•22•1•Updated Jan 17, 2025Jan 17, 2025

    • stars-combinatorial-testing

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

    • stars-export-carla

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

    • carla

      Public
      Open-source simulator for autonomous driving research.
      C++
      •
      MIT License
      •3.8k•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
      •23•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•1•1•0•Updated Nov 5, 2024Nov 5, 2024

    • whilestar

      Public
      The While* Virtual Machine
      Kotlin
      •2•2•0•1•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

    • 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•1•2•0•Updated May 17, 2024May 17, 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
      •1•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

    • gdart-llvm

      Public
      Java
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Dec 20, 2022Dec 20, 2022

    • gdart-svcomp

      Public
      Shell
      •
      Other
      •1•2•1•0•Updated Nov 14, 2022Nov 14, 2022

    • gwit

      Public
      Shell
      •
      Other
      •0•2•0•0•Updated Nov 11, 2022Nov 11, 2022