Skip to Main content Skip to Navigation
New interface
Journal articles

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
Document type :
Journal articles
Complete list of metadata
Contributor : Fabrice Bouquet Connect in order to contact the contributor
Submitted on : Wednesday, December 10, 2014 - 4:30:08 PM
Last modification on : Friday, January 21, 2022 - 3:09:05 AM

Links full text



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



Record views