Testing conformance on Stochastic Stream X-Machines - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Mercedes G. Merayo, Manuel Núñez. Testing conformance on Stochastic Stream X-Machines. In Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK. pages 227-236, IEEE Computer Society, 2007. [doi]

The following publications are possibly variants of this publication:

Testing timed systems modeled by Stream X-machinesMercedes G. Merayo, Manuel Núñez, Robert M. Hierons. SoSyM, 10(2):201-217, 2011. [doi]

Extending Stream X-Machines to Specify and Test Systems with TimeoutsMercedes G. Merayo, Robert M. Hierons, Manuel Núñez. SEFM 2008: 201-210 [doi]

runs on WebDSL