Weighted Combinatorial Sequence Testing for the TLS Protocol

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

doi:10.1109/ICSTW.2019.00031

Weighted Combinatorial Sequence Testing for the TLS Protocol

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

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)
Publisher	Institute of Electrical and Electronics Engineers
ISBN (Electronic)	978-1-7281-0888-9
DOIs	https://doi.org/10.1109/ICSTW.2019.00031
Publication status	Published - 2019
Event	12th IEEE International Conference on Software Testing, Verification and Validation: ICST 2019 - Xi'an, China Duration: 22 Apr 2019 → 27 Apr 2019

Conference

Conference	12th IEEE International Conference on Software Testing, Verification and Validation
Abbreviated title	ICST 2019
Country/Territory	China
City	Xi'an
Period	22/04/19 → 27/04/19

Access to Document

10.1109/ICSTW.2019.00031

SPLIT - Security Protocol Interaction Testing in Practice
Wotawa, F.
1/02/16 → 31/07/18
Project: Research project

Cite this

Weighted Combinatorial Sequence Testing for the TLS Protocol. / Garn, Bernhard; Simos, Dimitris E.; Duan, Feng et al.
IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19). Institute of Electrical and Electronics Engineers, 2019.

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Garn, B, Simos, DE, 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, 12th IEEE International Conference on Software Testing, Verification and Validation, Xi'an, China, 22/04/19. https://doi.org/10.1109/ICSTW.2019.00031

@inproceedings{c77a1e3a7bd6494f8fcc8a9718f14dd2,

title = "Weighted Combinatorial Sequence Testing for the TLS Protocol",

author = "Bernhard Garn and Simos, {Dimitris E.} and Feng Duan and Yu Lei and Josip Bozic and Franz Wotawa",

year = "2019",

doi = "10.1109/ICSTW.2019.00031",

language = "English",

booktitle = "IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "12th IEEE International Conference on Software Testing, Verification and Validation : ICST 2019, ICST 2019 ; Conference date: 22-04-2019 Through 27-04-2019",

}

TY - GEN

T1 - Weighted Combinatorial Sequence Testing for the TLS Protocol

AU - Garn, Bernhard

AU - Simos, Dimitris E.

AU - Duan, Feng

AU - Lei, Yu

AU - Bozic, Josip

AU - Wotawa, Franz

PY - 2019

Y1 - 2019

U2 - 10.1109/ICSTW.2019.00031

DO - 10.1109/ICSTW.2019.00031

M3 - Conference paper

BT - IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW'19)

PB - Institute of Electrical and Electronics Engineers

T2 - 12th IEEE International Conference on Software Testing, Verification and Validation

Y2 - 22 April 2019 through 27 April 2019

ER -

Weighted Combinatorial Sequence Testing for the TLS Protocol

Conference

Access to Document

Projects

SPLIT - Security Protocol Interaction Testing in Practice

Cite this