Author of the publication

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine.

, and . Theor. Comput. Sci., 323 (1-3): 191-233 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Test Framework for Communications-Critical Large-Scale Systems., and . IEEE Software, 32 (3): 86-93 (2015)Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces.. IEEE Trans. Computers, 62 (8): 1673-1683 (2013)An Empirical Investigation of Code Smell 'Deception' and Research Contextualisation through Paul's Criteria., , and . CIT, (2010)Automated generation of computationally hard feature models using evolutionary algorithms., , , , and . Expert Syst. Appl., 41 (8): 3975-3992 (2014)Minimizing the Cost of Fault Location when Testing from a Finite State Machine.. Computer Communications, 22 (2): 120-127 (1999)Squeeziness: An information theoretic measure for avoiding fault masking., and . Inf. Process. Lett., 112 (8-9): 335-340 (2012)Software Testing Foundations: A Study Guide for the Certified Tester Exam. By Andreas Spillner, Tilo Linz and Hans Schaefer. Published by dpunkt.verlag, Heidelberg, Germany, 2006, ISBN: 3-89864-363-8, pp 266.. Softw. Test., Verif. Reliab., 16 (4): 289-290 (2006)Editorial: Validating our findings.. Softw. Test., Verif. Reliab., 15 (4): 209-210 (2005)Editorial: Software testing in the United Kingdom., , and . Softw. Test., Verif. Reliab., 14 (3): 165-166 (2004)Testing Commercial-off-the-Shelf Components and Systems. Edited by Sami Beydeda and Volker Gruhn. Springer, 2005, ISBN: 3-540-21871-8, pp 410.. Softw. Test., Verif. Reliab., 16 (1): 61 (2006)