Floragasse 7 – 5th floor, 1040 Vienna
Subscribe to our Newsletter


Bernhard Garn and Dimitris Simos @ A-MOST 2019

Bernhard Garn and Dimitris Simos from SBA’s MaTRIS research group (https://matris.sba-research.org/) join the 15th Workshop on Advances in Model Based Testing (A-MOST) @ ICST 2019, 22nd April 2019 (https://amost2019.github.io/).

Bernhard and Dimitris also present their paper ‘Weighted Combinatorial Sequence Testing for the TLS Protocol’ (Bernhard Garn (SBA Research), Dimitris E. Simos (SBA Research), Feng Duan (University of Texas at Arlington), Yu Lei (University of Texas at Arlington), Josip Bozic (Graz University of Technology) and Franz Wotawa (Graz University of Technology)), which applies the notion of weighted t-way sequences to derive sequence test cases for security testing of TLS implementations.

A-MOST is a workshop of the ICST 2019 focussing on Model Based Testing (MBT), where new approaches, methods and tools make MBT techniques more useful and applicable in industry, contributing to improve the effectiveness and efficiency of the test process.