@inproceedings{b740694098db4257996d101bcd34d587,
title = "Generic and Effective Specification of Structural Test Objectives",
abstract = "A large amount of research has been carried out to automate white-box testing. While a wide range of different and sometimes heterogeneous code-coverage criteria have been proposed, there exists no generic formalism to describe them all, and available test automation tools usually support only a small subset of them. We introduce a new specification language, called HTOL (Hyperlabel Test Objectives Language), providing a powerful generic mechanism to define a wide range of test objectives. HTOL comes with a formal semantics, and can encode all standard criteria but full mutations. Besides specification, HTOL is appealing in the context of test automation as it allows handling criteria in a unified way.",
keywords = "Coverage Criteria, MCDC, Test Objective Specification Language, White-Box Testing",
author = "Michael Marcozzi and Mickael Delahaye and Sebastien Bardin and Nikolai Kosmatov and Virgile Prevosto",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017 ; Conference date: 13-03-2017 Through 17-03-2017",
year = "2017",
month = may,
day = "15",
doi = "10.1109/ICST.2017.48",
language = "English",
series = "Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "436--441",
booktitle = "Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017",
}