TY -
GEN
AU - Cantenot, Jérôme
AU - Besançon
AU - Bouquet, Fabrice
TI -
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
KW - Collaboration
KW - Model-based testing
KW - Stratégies de génération de tests
KW - Pouveur SMT
KW - Test generation strategies
KW - Paralellisation
KW - Génération de tests à partir de modèles
KW - Solveur CSP
KW - UML
KW - Parallelization
KW - Solver CSP
KW - Prover SMT
KW - OCL
PY - 2013-11-13
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - https://katalog.slub-dresden.de/en/?cHash=0bb8bd27a7fbde41cd02875a74ca0f3d&tx_find_find%5Baction%5D=citation&tx_find_find%5Bcontroller%5D=Search&tx_find_find%5Bid%5D=126-ZnRzdGFyZnI6MjAxM0JFU0EyMDQy&tx_find_find%5Btype%5D=ris
ER -