Test generation and animation based on object-oriented specifications.
The goal of this thesis is the development of support for test generation and animation based on object-oriented specifications. We aim particularly to take advantage of state-of-the-art satisfiability solving techniques by using an appropriate representation of object-oriented data. While automated...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
Université Paris Sud - Paris XI
2011
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00660427 http://tel.archives-ouvertes.fr/docs/00/66/04/27/PDF/VD2_KRIEGER_Matthias_09122011.pdf |