Article citationsMore>>

P. Kefalas, G. Eleftherakis and A. Sotiriadou, “Developing Tools for Formal Methods,” Proceedings of the 9th Panhellenic Conference in Informatics, 2003, pp. 625-639.

has been cited by the following article:

• TITLE: Web Testing Generation: A Stream X-Machine Based Approach

  AUTHORS: Zhongsheng Qian

  KEYWORDS: Web Application; SXM (Stream X-Machine); FSM (Finite State Machine); Test Case; Testing Framework

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.5 No.1, December 31, 2011

  ABSTRACT: To ensure the quality of Web applications, Web testing is one of the effective methods. The testing is a process of revealing errors that is used to give confidence that the implementation of a Web application meets its original specification. This work proposes a Web testing framework based on Stream X-Machines (SXMs), which provides a way to derive test cases for a Web application. It starts from constructing the SXM model, from which a test translator is employed to extract the test paths and then translates them into an XML-style test specification, which is the input of test engine. The test engine generates test cases and then executes them, and finally produces test report. This testing method is a significant contribution to informed research.