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