Browsing by Author "Dadeau, Frederic"
Now showing items 1-1 of 1
-
Symbolic Animation of JML Specifications
Fabrice, Bouquet; Dadeau, Frederic; Legeard, Bruno; Utting, Mark (Springer, 2005)This paper presents a model-based framework for the symbolic animation of object-oriented specifications. A customized set-theoretic solver is used to simulate the execution of the system and handle constraints on state ...
Co-authors for Frederic Dadeau
Frederic Dadeau has 3 co-authors in Research Commons.