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

4. bgw bgw Public

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

   Kotlin 34 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 11 5