Test generation with SMT solvers in Model Based Testing

Jérome Cantenot 1 Fabrice Ambert 1 Fabrice Bouquet 2, 1
2 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Type de document :
Article dans une revue
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2014, 24 (7), pp.33. 〈10.1002/stvr.1537〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01093461
Contributeur : Fabrice Bouquet <>
Soumis le : mercredi 10 décembre 2014 - 16:30:08
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Lien texte intégral

Identifiants

Citation

Jérome Cantenot, Fabrice Ambert, Fabrice Bouquet. Test generation with SMT solvers in Model Based Testing. Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2014, 24 (7), pp.33. 〈10.1002/stvr.1537〉. 〈hal-01093461〉

Partager

Métriques

Consultations de la notice

230