by Michaël Marcozzi, Sébastien Bardin, Mickaël Delahaye, Nikolai Kosmatov, Virgile Prevosto
RESEARCH PAPER "Generic and Effective Specification of Structural Test Objectives"
Technical Report (extensive encoding of criteria into HTOL)
TOOL PAPER "Taming Coverage Criteria Heterogeneity with LTest"
Source Code of LAnnotate and LReplay
Technical Report (detailed coverage measurement algorithm)
Experimentation Results (detailed coverage scores and computation times)
Experimentation Artefacts (hyperlabeled files and test cases)