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 »
A new publication has been accepted at the SETTA 2018. Bernhard K. Aichernig, Severin Kann and Richard Schumi: “Statistical Model Checking of Response Times for Different System Deployments“, In Dependable Software Engineering. Theories, Tools, and Applications – 4th International Symposium, SETTA 2018, …
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 …
Silvio Marcovic contributed with his Master’s Thesis to the test-case generation methods and tools of TRUCONF. Silvio Marcovic: “Integrating an External Test-Case Generator into a Property-Based Testing Tool for Testing Web-Services”. Graz University of Technology, Institute of Software Technology, 2017. (PDF) The work …
A flyer that summarises the results of TFUCONF and the achievements within the project has been created. (PDF)
A publication has been accepted at the MODELSWARD 2018. Gerald Stieglbauer, Christian Burghard, Stefan Sobernig and Robert Korošec: “A Daily Dose of DSL – MDE Micro Injections in Practice” In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development …
Another publication has been accepted at the International Journal on Software and Systems Modeling (SoSyM). Bernhard K. Aichernig and Richard Schumi: “Property-Based Testing of Web Services by Deriving Properties from Business-Rule Models”. International Journal on Software and Systems Modeling (SoSyM), 2017, Open Access. …
A new publication has been accepted at the ICTSS 2017. Richard Schumi, Priska Lang, Bernhard K. Aichernig, Willibald Krenn, and Rupert Schlick: “Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles“, In Testing Software and Systems – 29th IFIP WG …