Search Results - "Kleine, Kristoffer"

Algorithmic methods for covering arrays of higher index by Dougherty, Ryan E., Kleine, Kristoffer, Wagner, Michael, Colbourn, Charles J., Simos, Dimitris E.

“…Covering arrays are combinatorial objects used in testing large-scale systems to increase confidence in their correctness. To do so, each interaction of at…”
Get full text

An Efficient Design and Implementation of the In-Parameter-Order Algorithm by Kleine, Kristoffer, Simos, Dimitris E.

“…The In-Parameter-Order-General algorithm is one of the most widely used algorithms for covering array generation. It has found wide adoption in the field of…”
Get full text

Testing TLS using planning-based combinatorial methods and execution framework by Simos, Dimitris E., Bozic, Josip, Garn, Bernhard, Leithner, Manuel, Duan, Feng, Kleine, Kristoffer, Lei, Yu, Wotawa, Franz

“…The TLS protocol is the standard for secure Internet communication between two parties. Unfortunately, there have been recently successful attacks like DROWN,…”
Get full text

CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays by Wagner, Michael, Kleine, Kristoffer, Simos, Dimitris E., Kuhn, Rick, Kacker, Raghu

“…In recent years, combinatorial testing methods have been successfully applied to test systems with a larger number of input parameters. Generating…”
Get full text

Coveringcerts: Combinatorial Methods for X.509 Certificate Testing by Kleine, Kristoffer, Simos, Dimitris E.

“…Correct behaviour of X.509 certificate validation code in SSL/TLS implementations is crucial to ensure secure communication channels. Recently, there have been…”
Get full text

CAMETRICS: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets by Leithner, Manuel, Kleine, Kristoffer, Simos, Dimitris E.

“…Combinatorial testing (CT) has established itself as an efficient and effective approach for generating test sets, guaranteeing that all interactions of…”
Get full text

Planning-Based Security Testing of the SSL/TLS Protocol by Bozic, Josip, Kleine, Kristoffer, Simos, Dimitris E., Wotawa, Franz

“…With a growing amount of transferred data in an interconnected world, the insurance of a secure communication between two peers becomes a critical task in the…”
Get full text

TLS Cipher Suites Recommendations: A Combinatorial Coverage Measurement Approach by Simos, Dimitris E., Kleine, Kristoffer, Voyiatzis, Artemios G., Kuhn, Rick, Kacker, Raghu

“…We present a coverage measurement for TLS cipher suites recommendations provided by various regulatory and intelligence organizations such as the IETF,…”
Get full text