@inproceedings{marcozzi:cea-01835544, TITLE = {{Domestiquer la vari{\'e}t{\'e} des crit{\`e}res de test avec le langage HTOL et l'outil LTest}}, AUTHOR = {Marcozzi, Micha{\"e}l and Bardin, S{\'e}bastien and Kosmatov, Nikolai and Pr{\'e}vosto, Virgile and Delahaye, Micka{\"e}l}, URL = {https://cea.hal.science/cea-01835544}, NOTE = {Cet article court synth{\'e}tise les deux articles suivants: [1] Generic and Effective Specification of Structural Test Objectives[2] Taming Coverage Criteria Heterogeneity with LTest}, BOOKTITLE = {{Approches Formelles pour l'Assistance au D{\'e}veloppement de Logiciels - AFADL}}, ADDRESS = {Montpellier, France}, YEAR = {2017}, MONTH = Jun, PDF = {https://cea.hal.science/cea-01835544/file/main.pdf}, HAL_ID = {cea-01835544}, HAL_VERSION = {v1}, }