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).

AI4DI - Artificial Intelligence of Digitising Industry: Tool environment to execute and validate ASP diagnose models based on the theorem solver CLINGO 5.4.1.

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.

Given combinatorial test results, finds the smallest common schemas that apply to the most test cases.

Given linear traces, it finds probable invariants and rules.

Walks on given FSMs and creates linear traces. This tool might be useful to generate date for LTL mining.

GPFUZZ: Grammar-based Performance Fuzzer

On the application of clustering for extracting driving scenarios from vehicle data.

Traverses the current directory tree and locates similar PDF documents

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