Verification Coverage for Combining Test and Proof. - Viet Hoang Le; Loïc Correnson; Julien Signoles; Virginie Wiels (TAP@STAF, 2018)

Une couverture Combinant Tests et Preuves pour la Vérification Formelle. (A coverage combining tests and proofs for formal verification). - Viet Hoang Le (2019)