Trust via cost function driven model based test case generation for non-functional properties of systems of systems
Richard Schumi has written his PhD thesis about testing and performance evaluation techniques that were developed within TRUCONF: Richard Schumi: “Predicting and Testing System Response-Times with Statistical Model Checking and Property-Based Testing”, Graz University of Technology, Institute for Software Technology, 2018. (PDF) …
We exploited the results of TRUCONF for a new application, for testing protocols of the Internet of Things (IoT). The work has been accepted at the QEST 2018. Bernhard K. Aichernig and Richard Schumi: “How Fast is MQTT? Statistical Model …
Exploitation of TRUCONF Results for a Publication at QEST 2018 Read more »
Christian Burghard has written his Master’s Thesis as part of the TRUCONF project. The thesis describes the domain-specific language which was designed specifically for the modelling of AVL measurement device state machines, as well as the associated modelling tool and …
As a concluding event for the project, we held a workshop at AVL on the 31th January 2018. During this workshop, we presented the methods developed within the project and the obtained evaluation results to an audience of AVL staff members. We arranged two …
A flyer that summarises the results of TFUCONF and the achievements within the project has been created. (PDF)