IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model checking class specifications for Web applications

Proceedings. 12th Asia-Pacific Software Engineering Conference

Author(s): E.-H. Choi ; H. Watanabe
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Taipei, Taiwan, Taiwan
Conference Date: 15 December 2005
ISBN (Paper): 0-7695-2465-6
ISSN (Paper): 1530-1362
DOI: 10.1109/APSEC.2005.79
Regular:

This paper proposes an approach for verifying class specifications of Web applications using model checking. We first present a method to model a dynamic behavior of a Web application from a class... View More

Advertisement