Skip to content

@tudo-aqua AQUA - Automated Quality Assurance

Change the repository type filter

All

    Repositories list

    48 repositories

    • turnkey-support

      Public
      A support library for loading and writing TurnKey bundles.
      Java
      •0•0•0•3•Updated Nov 29, 2024Nov 29, 2024

    • bgw

      Public
      BoardGameWork
      Kotlin
      •
      Apache License 2.0
      •16•25•25•7•Updated Nov 28, 2024Nov 28, 2024

    • konstraints

      Public
      SMT
      •0•1•10•2•Updated Nov 27, 2024Nov 27, 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

    • spout

      Public
      SPouT: Symbolic Path Recording During Testing
      Java
      •
      Other
      •1.6k•5•0•2•Updated Nov 22, 2024Nov 22, 2024

    • turnkey-gradle-plugin

      Public
      A helper plugin for transforming existing libraries into TurnKey bundles.
      Kotlin
      •0•0•0•2•Updated Nov 20, 2024Nov 20, 2024

    • stars

      Public
      STARS - Scenario-Based Testing of Autonomous Robotic Systems
      Kotlin
      •
      Apache License 2.0
      •4•9•21•4•Updated Nov 15, 2024Nov 15, 2024

    • cvc5-turnkey

      Public
      TurnKey artifact for cvc5
      Java
      •0•0•0•5•Updated Nov 14, 2024Nov 14, 2024

    • z3-turnkey

      Public
      TurnKey artifact for Z3
      Java
      •6•34•2•1•Updated Nov 14, 2024Nov 14, 2024

    • stars-owa-coverage

      Public
      This repository evaluates the effects of uncertainties on scenario coverage.
      Kotlin
      •
      Apache License 2.0
      •0•0•0•1•Updated Nov 13, 2024Nov 13, 2024

    • 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
      •3•3•3•1•Updated Nov 6, 2024Nov 6, 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

    • stars-export-carla

      Public
      A batch generator of driving scenarios from the CARLA simulator
      Python
      •
      Apache License 2.0
      •1•0•2•0•Updated Oct 21, 2024Oct 21, 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
      •5•1•1•2•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

    • IFFlow

      Public
      Java
      •0•0•0•0•Updated Jul 17, 2023Jul 17, 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

    • z3-builds

      Public
      Unofficial builds for Z3.
      0•0•0•0•Updated May 6, 2022May 6, 2022

    • jdart

      Public
      A dynamic symbolic analysis tool for Java
      Java
      •
      Apache License 2.0
      •40•6•1•1•Updated May 4, 2022May 4, 2022