JML-testing-tools: A symbolic animator for JML specifications using CLP

Lecture Notes in Computer Science

Volumn 3440, Issue , 2005, Pages 551-556

  Bouquet, Fabrice ^a   Dadeau, Frédéric ^a   Legeard, Bruno ^a   Utting, Mark ^a  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

Java Modeling Language; Model based; Object oriented; Symbolic animation

Indexed keywords

ANIMATION; AUTOMATA THEORY; COMPUTER SIMULATION; CONSTRAINT THEORY; LOGIC PROGRAMMING; MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; PROBLEM SOLVING;

JAVA MODELING LANGUAGE (JML); MODEL-BASED; OBJECT-ORIENTED; SYMBOLIC ANIMATION;

JAVA PROGRAMMING LANGUAGE;

EID: 24644445719     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31980-1_37     Document Type: Conference Paper

References (7)

1. +02] F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet, and M. Utting. BZ-TT: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming. In Robert Hierons and Thierry Jerron, editors, Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR'02, pages 105-120. INRIA Report, August 2002.
2. [Abr96] J.-R. Abrial. The B-book: assigning programs to meanings. Cambridge University Press, 1996.
3. [CL02] Y. Cheon and G.T. Leavens. A runtime assertion checker for the Java Modeling Language (JML). In Hamid R. Arabnia and Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice (SERF '02), Las Vegas, Nevada, USA, June 24-27, 2002, pages 322-328. CSREA Press, June 2002.
4. [Har87] D. Harel. Statecharts: a Visual Formalism for Complex Systems. Journal of Science of Computer Programming, 8:231-274, 1987.
5. [LBR98] G.T. Leavens, A.L. Baker, and C. Ruby. JML: a Java modeling language. In Formal Underpinnings of Java Workshop (at OOPSLA '98), October 1998.
6. [LBR99] G.T. Leavens, A.L. Baker, and C. Ruby. JML: A notation for detailed design. In Haim Kilov, Bernhard Rumpe, and Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, Boston, 1999.
7. nd edition, 1992. ISBN 0 13 978529 9.