PhD Thesis within TRUCONF
Richard Schumi has written his PhD thesis about testing and performance evaluation techniques that were developed …
Publications
Exploitation of TRUCONF Results for a Publication at QEST 2018
We exploited the results of TRUCONF for a new application, for testing protocols of the Internet …
Exploitation of TRUCONF Results for a Publication at QEST 2018 Read more →
Publication at SETTA 2018
A new publication has been accepted at the SETTA 2018. Bernhard K. Aichernig, Severin Kann and …
Another Master’s Thesis within TRUCONF
Christian Burghard has written his Master’s Thesis as part of the TRUCONF project. The thesis describes …
Master’s Thesis within TRUCONF
Silvio Marcovic contributed with his Master’s Thesis to the test-case generation methods and tools of TRUCONF. Silvio Marcovic: …
Publication at MODELSWARD
A publication has been accepted at the MODELSWARD 2018. Gerald Stieglbauer, Christian Burghard, Stefan Sobernig and Robert Korošec: …
Publication at SoSyM
Another publication has been accepted at the International Journal on Software and Systems Modeling (SoSyM). Bernhard K. Aichernig …
Publication at ICTSS 2017
A new publication has been accepted at the ICTSS 2017. Richard Schumi, Priska Lang, Bernhard K. Aichernig, …
Publication at A-MOST 2017
Another publication has been accepted at A-MOST 2017. Bernhard K. Aichernig, Silvio Marcovic and Richard Schumi: “Property-Based …
Publication at ICST 2017
A new publication has been accepted at the ICST 2017. Bernhard K. Aichernig and Richard Schumi: “Statistical …