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

News

Dimitris Simos @ ICST 2017

Dimitris Simos gives a talk on “Coveringcerts: Combinatorial Methods for X.509 Certificate Testing”, a joint work with Kristoffer Kleine, on March 14, 2017 at the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017).

ICST 2017 takes place during March 13-18, 2017 in Tokyo, Japan at Waseda University and is one of the leading conference for software testing and validation.

The results of this work establish a new research field for combinatorial testing and testing of security protocols.