Explore projects

A tutorial on building a chatbot using IBM Watson Conversation for the ”Introduction to IT” course (Autumn 2017)

Lab exercises and instructions for SAIOT course

System testing using Generative Models. API v2

Requirement falsification for cyber-physical systems using generative models and the OGAN algorithm. This is an entry in the falsification track of the ARCH-COMP 2023 competition on verifying continuous and hybrid systems.

Public update site for M2-AlfTester tool

System testing using Generative Models. API v1. There is a new API version in https://gitlab.abo.fi/stc/stgem2

This repository contains bottleneck distributions of RUBiS(poi) and RUBiS(uni), and data related to the performance of iPerfXRL.