Explore @tudo-aqua Open Source projects

AQUA - Automated Quality Assurance (@tudo-aqua)

tudo-aqua

Stars
104
Global Org. Rank 56,900 (Top 19 %)
Registered over 5 years ago
Most used languages

Kotlin
50.0 %

Shell
21.4 %

SMT 14.3 %

Java
7.1 %

Python
7.1 %
Location 🇩🇪 Germany
Country Total Rank 118,109
Country Ranking

SMT 2

Kotlin
248

Shell
3,385

Java
5,683

z3-turnkey

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

bgw

stars

STARS - Scenario-Based Testing of Autonomous Robotic Systems

jconstraints

A constraint solver abstraction layer for Java

cvc4-turnkey

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.

dse

DSE: a generic dynamic symbolic execution engine

stars-carla-experiments

This repository analyzes driving data recorded with the Carla Simulator using the STARS framework.

mps-diagram-svg-export

This plugins allows MPS users to export/save de.itemis.mps.editor.diagrams into SVG files.

gdart-svcomp

gwit

gdart

GDart: Dynamic Symbolic Execution for the JVM

stars-auna-experiments

This repository analyzes driving data recorded with model race cars in a platooning scenario using the STARS framework.

stars-export-carla

A batch generator of driving scenarios from the CARLA simulator

konstraints

whilestar

The While* Virtual Machine