@inproceedings{sun:hal-02287373, TITLE = {{Model-Based Veri\&\#64257;cation Directed by Structural Coverage and Functional Requirements}}, AUTHOR = {Sun, Yanjun and Memmi, G{\'e}rard and Vignes, Sylvie}, URL = {https://telecom-paris.hal.science/hal-02287373}, BOOKTITLE = {{Model-Based Verification \& Validation (MVV)}}, ADDRESS = {Vienna, Austria}, HAL_LOCAL_REFERENCE = {GM:MVV-16}, YEAR = {2016}, MONTH = Aug, HAL_ID = {hal-02287373}, HAL_VERSION = {v1}, }