@misc
{TN_libero_mab2,
author = {
Cantenot, Jérôme
Besançon
AND
Bouquet, Fabrice
},
title = {
Stratégies de génération de tests à partir de modèles UML/OCL interprétés en logique du premier ordre et système de contraintes. ; Test generation strategies from UML/OCL models interpreted with first order logic constraints system
},
keywords = {
Collaboration
,
Model-based testing
,
Stratégies de génération de tests
,
Pouveur SMT
,
Test generation strategies
,
Paralellisation
,
Génération de tests à partir de modèles
,
Solveur CSP
,
UML
,
Parallelization
,
Solver CSP
,
Prover SMT
,
OCL
},
year = {2013-11-13},
abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},
url = {
https://katalog.slub-dresden.de/en/?cHash=a8fa44d3bda0cb9d524c2f0ab6715df9&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRzdGFyZnI6MjAxM0JFU0EyMDQy&tx_find_find%5Btype%5D=bibtex
}
}