Weighted Combinatorial Sequence Testing for the TLS Protocol

Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationIEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)
PublisherInstitute of Electrical and Electronics Engineers
ISBN (Electronic)978-1-7281-0888-9
DOIs
Publication statusPublished - 2019
Event12th IEEE International Conference on Software Testing, Verification and Validation - Xi'an, China
Duration: 22 Apr 201927 Apr 2019

Conference

Conference12th IEEE International Conference on Software Testing, Verification and Validation
Abbreviated titleICST 2019
CountryChina
CityXi'an
Period22/04/1927/04/19

Projects

SPLIT - Security Protocol Interaction Testing in Practice

Wotawa, F.

1/02/1631/07/18

Project: Research project

Cite this

Garn, B., Simos, D. E., Duan, F., Lei, Y., Bozic, J., & Wotawa, F. (2019). Weighted Combinatorial Sequence Testing for the TLS Protocol. In IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19) Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICSTW.2019.00031