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 variables. We define a framework for animating object-oriented specifications with dynamic object creations, interactions and inheritance. We show how this technique can be applied to Java Modeling Language (JML) specifications, making it possible to animate Java programs that only contain method interfaces and no code! ©Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Bouquet, F., Dadeau, F., Legeard, B., & Utting, M. (2005). Symbolic animation of JML specifications. In Lecture Notes in Computer Science (Vol. 3582, pp. 75–90). Springer Verlag. https://doi.org/10.1007/11526841_7
Mendeley helps you to discover research relevant for your work.