M. G. Merayo, R. M. Hierons and M. Nunez, “Extending Stream X-Machines to Specify and Test Systems with Timeouts,” The 6th IEEE International Conference on Software Engineering and Formal Methods, 2008, pp. 210-210.

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.