Skip to content

Pinned Loading

  1. dse dse Public

    DSE: a generic dynamic symbolic execution engine

    Java 5 1

  2. cvc4-turnkey cvc4-turnkey Public

    Build system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.

    Kotlin 4

  3. z3-turnkey z3-turnkey Public

    TurnKey artifact for Z3

    Java 43 6

  4. bgw bgw Public

    BoardGameWork - Framework for creating 2D board game applications using Kotlin.

    Kotlin 31 17

  5. gdart gdart Public

    GDart: Dynamic Symbolic Execution for the JVM

    Shell 3 6

  6. stars stars Public

    STARS - Scenario-Based Testing of Automated Robotic Systems

    Kotlin 10 6

Repositories

Showing 10 of 56 repositories
  • dse Public

    DSE: a generic dynamic symbolic execution engine

    tudo-aqua/dse’s past year of commit activity
    Java 5 Apache-2.0 1 1 1 Updated Mar 15, 2026
  • jconstraints Public

    A constraint solver abstraction layer for Java

    tudo-aqua/jconstraints’s past year of commit activity
    SMT 7 Apache-2.0 3 0 3 Updated Mar 15, 2026
  • konstraints Public
    tudo-aqua/konstraints’s past year of commit activity
    SMT 1 1 9 3 Updated Mar 14, 2026
  • stars-coverage-significance Public

    This repository evaluates whether scenario-coverage is a good indicator for safety/quality of an automated robotic system.

    tudo-aqua/stars-coverage-significance’s past year of commit activity
    Kotlin 0 Apache-2.0 0 0 10 Updated Mar 13, 2026
  • spout Public Forked from oracle/graal

    SPouT: Symbolic Path Recording During Testing

    tudo-aqua/spout’s past year of commit activity
    Java 6 1,851 5 9 Updated Mar 13, 2026
  • bgw-example-collapsi Public

    Collapsi Board Game (BGW Example)

    tudo-aqua/bgw-example-collapsi’s past year of commit activity
    Kotlin 2 Apache-2.0 0 1 0 Updated Mar 12, 2026
  • heat-pump-mining Public

    Heat Pump Mining Tools

    tudo-aqua/heat-pump-mining’s past year of commit activity
    Kotlin 1 0 0 0 Updated Mar 11, 2026
  • whilestar Public

    The While* Virtual Machine

    tudo-aqua/whilestar’s past year of commit activity
    Kotlin 3 3 0 1 Updated Mar 10, 2026
  • stars Public

    STARS - Scenario-Based Testing of Automated Robotic Systems

    tudo-aqua/stars’s past year of commit activity
    Kotlin 10 Apache-2.0 6 12 9 Updated Mar 9, 2026
  • verifier-stub Public
    tudo-aqua/verifier-stub’s past year of commit activity
    Java 0 Apache-2.0 1 0 0 Updated Feb 13, 2026

Top languages

Loading…

Most used topics

Loading…