Skip to content
@QAMCAS

QAMCAS

CD-Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems (QAMCAS).

Pinned Loading

  1. GABE4RoadGen 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 Jo…

    HTML

  2. Vehicle_data_clustering_approach 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.

    Python

Repositories

Showing 10 of 10 repositories
  • 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
    Python 0 MIT 0 0 0 Updated Feb 8, 2024
  • 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
    Makefile 0 MIT 0 0 0 Updated Dec 12, 2023
  • autoltl Public

    Given linear traces, it finds probable invariants and rules.

    QAMCAS/autoltl’s past year of commit activity
    C 0 MIT 0 0 0 Updated Oct 16, 2023
  • 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
    Perl 0 MIT 0 0 0 Updated Oct 4, 2023
  • 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
    Python 1 MIT 0 0 0 Updated May 22, 2023
  • ASP-Diagnose-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-Diagnose-Tool’s past year of commit activity
    Prolog 0 MIT 0 0 0 Updated Apr 14, 2023
  • gpfuzz Public

    GPFUZZ: Grammar-based Performance Fuzzer

    QAMCAS/gpfuzz’s past year of commit activity
    Perl 0 GPL-3.0 0 0 0 Updated Feb 13, 2023
  • 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
    Python 2 MIT 0 0 0 Updated Jan 20, 2023
  • findsimilarpdfs Public

    Traverses the current directory tree and locates similar PDF documents

    QAMCAS/findsimilarpdfs’s past year of commit activity
    Shell 0 MIT 0 0 0 Updated Jan 13, 2023
  • 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
    HTML 0 MIT 0 0 0 Updated Jul 13, 2022

Top languages

Loading…

Most used topics

Loading…