@article{bardin_generic_2017,
	title = {Generic and {Effective} {Specification} of {Structural} {Test} {Objectives}},
	url = {http://arxiv.org/abs/1609.01204},
	abstract = {While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automation tools usually support only a small subset of them. We introduce a unified specification language, called HTOL, providing a powerful generic mechanism to define test objectives, which permits encoding numerous existing criteria and supporting them in a unified way. HTOL comes with a formal semantics and can express complex requirements over several executions (using a novel notion of hyperlabels), as well as alternative requirements or requirements over a whole program execution. A novel classification of a large class of existing criteria is proposed. Finally, a coverage measurement tool for HTOL objectives has been implemented. Initial experiments suggest that the proposed approach is both efficient and practical.},
	urldate = {2021-01-27},
	journal = {arXiv:1609.01204 [cs]},
	author = {Bardin, Sébastien and Delahaye, Mickaël and Kosmatov, Nikolai and Marcozzi, Michaël and Prevosto, Virgile},
	month = jan,
	year = {2017},
	keywords = {Computer Science - Software Engineering, D.2.5, D.3.2, ⛔ No DOI found},
}

{"_id":"pwZ8sFDdvH74B9BWS","bibbaseid":"bardin-delahaye-kosmatov-marcozzi-prevosto-genericandeffectivespecificationofstructuraltestobjectives-2017","author_short":["Bardin, S.","Delahaye, M.","Kosmatov, N.","Marcozzi, M.","Prevosto, V."],"bibdata":{"bibtype":"article","type":"article","title":"Generic and Effective Specification of Structural Test Objectives","url":"http://arxiv.org/abs/1609.01204","abstract":"While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automation tools usually support only a small subset of them. We introduce a unified specification language, called HTOL, providing a powerful generic mechanism to define test objectives, which permits encoding numerous existing criteria and supporting them in a unified way. HTOL comes with a formal semantics and can express complex requirements over several executions (using a novel notion of hyperlabels), as well as alternative requirements or requirements over a whole program execution. A novel classification of a large class of existing criteria is proposed. Finally, a coverage measurement tool for HTOL objectives has been implemented. Initial experiments suggest that the proposed approach is both efficient and practical.","urldate":"2021-01-27","journal":"arXiv:1609.01204 [cs]","author":[{"propositions":[],"lastnames":["Bardin"],"firstnames":["Sébastien"],"suffixes":[]},{"propositions":[],"lastnames":["Delahaye"],"firstnames":["Mickaël"],"suffixes":[]},{"propositions":[],"lastnames":["Kosmatov"],"firstnames":["Nikolai"],"suffixes":[]},{"propositions":[],"lastnames":["Marcozzi"],"firstnames":["Michaël"],"suffixes":[]},{"propositions":[],"lastnames":["Prevosto"],"firstnames":["Virgile"],"suffixes":[]}],"month":"January","year":"2017","keywords":"Computer Science - Software Engineering, D.2.5, D.3.2, ⛔ No DOI found","bibtex":"@article{bardin_generic_2017,\n\ttitle = {Generic and {Effective} {Specification} of {Structural} {Test} {Objectives}},\n\turl = {http://arxiv.org/abs/1609.01204},\n\tabstract = {While a wide range of different, sometimes heterogeneous test coverage criteria have been proposed, there exists no generic formalism to describe them, and available test automation tools usually support only a small subset of them. We introduce a unified specification language, called HTOL, providing a powerful generic mechanism to define test objectives, which permits encoding numerous existing criteria and supporting them in a unified way. HTOL comes with a formal semantics and can express complex requirements over several executions (using a novel notion of hyperlabels), as well as alternative requirements or requirements over a whole program execution. A novel classification of a large class of existing criteria is proposed. Finally, a coverage measurement tool for HTOL objectives has been implemented. Initial experiments suggest that the proposed approach is both efficient and practical.},\n\turldate = {2021-01-27},\n\tjournal = {arXiv:1609.01204 [cs]},\n\tauthor = {Bardin, Sébastien and Delahaye, Mickaël and Kosmatov, Nikolai and Marcozzi, Michaël and Prevosto, Virgile},\n\tmonth = jan,\n\tyear = {2017},\n\tkeywords = {Computer Science - Software Engineering, D.2.5, D.3.2, ⛔ No DOI found},\n}\n\n","author_short":["Bardin, S.","Delahaye, M.","Kosmatov, N.","Marcozzi, M.","Prevosto, V."],"key":"bardin_generic_2017","id":"bardin_generic_2017","bibbaseid":"bardin-delahaye-kosmatov-marcozzi-prevosto-genericandeffectivespecificationofstructuraltestobjectives-2017","role":"author","urls":{"Paper":"http://arxiv.org/abs/1609.01204"},"keyword":["Computer Science - Software Engineering","D.2.5","D.3.2","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["computer science - software engineering","d.2.5","d.3.2","⛔ no doi found"],"search_terms":["generic","effective","specification","structural","test","objectives","bardin","delahaye","kosmatov","marcozzi","prevosto"],"title":"Generic and Effective Specification of Structural Test Objectives","year":2017}