8000 AQUA - Automated Quality Assurance · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@tudo-aqua

AQUA - Automated Quality Assurance

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 38 6

  4. bgw bgw Public

    BoardGameWork

    Kotlin 31 16

  5. gdart gdart Public

    GDart: Dynamic Symbolic Execution for the JVM

    Shell 2 6

  6. stars stars Public

    STARS - Scenario-Based Testing of Automated Robotic Systems

    Kotlin 10 5

Repositories

Showing 10 of 53 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0