QAMCAS
Pinned Loading
Repositories
- FMU-Simulation-Environment Public
AI4DI - Artificial Intelligence of Digitising Industry: This project builds a docker environment with a running server to trigger a simulation, based on an FMU model. The FMU model can be controlled by a client using a implemented REST API on the server (docker).
QAMCAS/FMU-Simulation-Environment’s past year of commit activity - ASP-Diagnosis-Tool Public
AI4DI - Artificial Intelligence of Digitising Industry: Tool environment to execute and validate ASP diagnose models based on the theorem solver CLINGO 5.4.1.
QAMCAS/ASP-Diagnosis-Tool’s past year of commit activity - Vehicle_data_clustering_approach Public
This repository includes extended code for our vehicle_data clustering approach. It comprises all code for data clustering, graph models extraction, test case generation and, data abstraction.
QAMCAS/Vehicle_data_clustering_approach’s past year of commit activity - commonschemafinder Public
Given combinatorial test results, finds the smallest common schemas that apply to the most test cases.
QAMCAS/commonschemafinder’s past year of commit activity - fsmwalker Public
Walks on given FSMs and creates linear traces. This tool might be useful to generate date for LTL mining.
QAMCAS/fsmwalker’s past year of commit activity - Clustering_Vehicle_data Public
On the application of clustering for extracting driving scenarios from vehicle data.
QAMCAS/Clustering_Vehicle_data’s past year of commit activity - GABE4RoadGen Public
This repository includes data and other artifacts supporting the results obtained for the paper "Using Genetic Algorithms for Automating ALKS Testing" submitted and currently under review at the Journal of Software: Evolution and Process - Search-based Software Testing Special Issue
QAMCAS/GABE4RoadGen’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…