Test generation and animation based on object-oriented specifications
L'objectif de cette thèse est l'assistance à la génération de tests et à l'animation de spécifications orientées objet. Nous cherchons en particulier à profiter de l'état de l'art des techniques de résolution de satisfaisabilité en utilisant une représentation appropriée des...
Main Author: | |
---|---|
Other Authors: | |
Language: | en |
Published: |
2011
|
Subjects: | |
Online Access: | http://www.theses.fr/2011PA112299/document |