%0 Conference Proceedings %T Model-Based Verification Directed by Structural Coverage and Functional Requirements %+ Autonomic and Critical Embedded Systems (ACES) %+ Département Informatique et Réseaux (INFRES) %A Sun, Yanjun %A Memmi, Gérard %A Vignes, Sylvie %< avec comité de lecture %Z GM:MVV-16 %( Model-Based Verification & Validation (MVV) %B Model-Based Verification & Validation (MVV) %C Vienna, Austria %8 2016-08 %D 2016 %Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers %G English %L hal-02287373 %U https://telecom-paris.hal.science/hal-02287373 %~ INSTITUT-TELECOM %~ ENST %~ TELECOM-PARISTECH %~ PARISTECH %~ UNIV-PARIS-SACLAY %~ TELECOM-PARISTECH-SACLAY %~ LTCI %~ INFRES %~ ACES %~ INSTITUTS-TELECOM