Software Qual J https://doi.org/10.1007/s11219-018-9412-z Testing TLS using planning-based combinatorial methods and execution framework 1 2 3 Dimitris E. Simos · Josip Bozic · Bernhard Garn · 1 1 1 Manuel Leithner · Feng Duan · Kristoffer Kleine · 1 1 Yu Lei · Franz Wotawa © Springer Science+Business Media, LLC, part of Springer Nature 2018 Abstract The TLS protocol is the standard for secure Internet communication between two parties. Unfortunately, there have been recently successful attacks like DROWN, ROBOT, or BREACH that indicate the necessity for thoroughly testing TLS implementations. In our research work, we focus on automated test case generation and execution for the TLS security protocol, where the aim is to combine planning with combinatorial methods for providing test cases that ideally also reveal previously unknown attacks. This is made fea- sible by creating appropriate input parameter models for different messages that can appear Dimitris E. Simos firstname.lastname@example.org Josip Bozic email@example.com Bernhard Garn firstname.lastname@example.org Manuel Leithner email@example.com Feng Duan firstname.lastname@example.org Kristoffer Kleine email@example.com Yu Lei firstname.lastname@example.org Franz Wotawa email@example.com SBA Research, A-1040 Vienna, Austria Institute for Software Technology, Graz University of Technology, A-8010 Graz, Austria University of Texas at Arlington, Arlington, TX 76019, USA Software Qual J
Software Quality Journal – Springer Journals
Published: Jun 1, 2018
It’s your single place to instantly
discover and read the research
that matters to you.
Enjoy affordable access to
over 18 million articles from more than
15,000 peer-reviewed journals.
All for just $49/month
Query the DeepDyve database, plus search all of PubMed and Google Scholar seamlessly
Save any article or search result from DeepDyve, PubMed, and Google Scholar... all in one place.
Get unlimited, online access to over 18 million full-text articles from more than 15,000 scientific journals.
Read from thousands of the leading scholarly journals from SpringerNature, Elsevier, Wiley-Blackwell, Oxford University Press and more.
All the latest content is available, no embargo periods.
“Hi guys, I cannot tell you how much I love this resource. Incredible. I really believe you've hit the nail on the head with this site in regards to solving the research-purchase issue.”Daniel C.
“Whoa! It’s like Spotify but for academic articles.”@Phil_Robichaud
“I must say, @deepdyve is a fabulous solution to the independent researcher's problem of #access to #information.”@deepthiw
“My last article couldn't be possible without the platform @deepdyve that makes journal papers cheaper.”@JoseServera