↓ Skip to Main Content

TRUCONF

Main Navigation

  • Home
  • About
  • News
  • Publications
  • Partners
Home › Archive for Publications

Category: Publications

PhD Thesis within TRUCONF

By admin Posted on 11.10.2018 Posted in Publications, Uncategorized No Comments

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

PhD Thesis within TRUCONF Read more »

Exploitation of TRUCONF Results for a Publication at QEST 2018

By admin Posted on 20.06.2018 Posted in Publications, Uncategorized No Comments

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 »

Publication at SETTA 2018

By admin Posted on 18.06.2018 Posted in Publications No Comments

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, …

Publication at SETTA 2018 Read more »

Another Master’s Thesis within TRUCONF

By admin Posted on 12.04.2018 Posted in Publications, Uncategorized No Comments

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 …

Another Master’s Thesis within TRUCONF Read more »

Master’s Thesis within TRUCONF

By admin Posted on 22.02.2018 Posted in Publications No Comments

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 …

Master’s Thesis within TRUCONF Read more »

Publication at MODELSWARD

By admin Posted on 18.01.2018 Posted in Publications No Comments

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 …

Publication at MODELSWARD Read more »

Publication at SoSyM

By admin Posted on 03.01.2018 Posted in Publications No Comments

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

Publication at SoSyM Read more »

Publication at ICTSS 2017

By admin Posted on 27.07.2017 Posted in Publications No Comments

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 …

Publication at ICTSS 2017 Read more »

Publication at A-MOST 2017

By admin Posted on 01.02.2017 Posted in Publications No Comments

Another publication has been accepted at A-MOST 2017. Bernhard K. Aichernig, Silvio Marcovic and Richard Schumi: “Property-Based Testing with External Test-Case Generators“, In IEEE 10th International Conference on Software Testing, Verification, and Validation Workshops (ICSTW), 13th Workshop on Advances in Model Based Testing …

Publication at A-MOST 2017 Read more »

Publication at ICST 2017

By admin Posted on 01.02.2017 Posted in Publications No Comments

A new publication has been accepted at the ICST 2017. Bernhard K. Aichernig and Richard Schumi: “Statistical Model Checking Meets Property-Based Testing“, In 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo, Japan, 13-17 March, 2017, pages 390-400. …

Publication at ICST 2017 Read more »

Posts navigation

1 2 Next

Recent Posts

  • PhD Thesis within TRUCONF
  • Exploitation of TRUCONF Results for a Publication at QEST 2018
  • Publication at SETTA 2018
  • Another Master’s Thesis within TRUCONF
  • TRUCONF Final Workshop

Archives

  • October 2018
  • June 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • July 2017
  • February 2017
  • November 2016
  • October 2016
  • March 2016
  • June 2015

Meta

  • Log in
  • Entries feed
  • Comments feed
  • WordPress.org
© 2023 TRUCONF | Powered by Responsive Theme