Mutants Generation For Testing Lustre Programs - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Mutants Generation For Testing Lustre Programs

Le van Phol
  • Fonction : Auteur
T .B. Nguyen
Fichier non déposé

Dates et versions

hal-02394975 , version 1 (05-12-2019)

Identifiants

Citer

Le van Phol, T .B. Nguyen, Ioannis Parissis. Mutants Generation For Testing Lustre Programs. the Eighth International Symposium, Dec 2017, Nha Trang City, Vietnam. pp.425-430, ⟨10.1145/3155133.3155155⟩. ⟨hal-02394975⟩

Collections

UGA LCIS
18 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More