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 ...

Bouquet Fabrice has 3 co-authors in Research Commons.