FLEXTLS: A Tool for Testing TLS Implementations.

Benjamin Beurdouche Antoine Delignat-Lavaud Nadim Kobeissi Alfredo Pironti Karthikeyan Bhargavan

Published in: WOOT (2015)

Keyphrases

parameter estimation
search based software testing
database
test cases
user friendly
software tools
tool support
real time
real world
artificial intelligence
information technology
training set
multiresolution
statistical tests
test suite