Author of the publication

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs.

, and . ACM Trans. Softw. Eng. Methodol., 26 (1): 5:1-5:34 (2017)

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

Minimizing the Cost of Fault Location when Testing from a Finite State Machine.. Comput. Commun., 22 (2): 120-127 (1999)Machine Learning, by Tom M. Mitchell, McGraw-Hill, 1997 (Book Review).. Softw. Test. Verification Reliab., 9 (3): 191-193 (1999)Estimation of Failure Rate using Random and Partition Testing., and . Softw. Test. Verification Reliab., 7 (3): 153-164 (1997)Improving test quality using robust unique input/output circuit sequences (UIOCs)., , , and . Inf. Softw. Technol., 48 (8): 696-707 (2006)A Test Framework for Communications-Critical Large-Scale Systems., and . IEEE Softw., 32 (3): 86-93 (2015)Combining Centralised and Distributed Testing.. ACM Trans. Softw. Eng. Methodol., 24 (1): 5:1-5:29 (2014)Using genetic algorithms to generate test sequences for complex timed systems., , , and . Soft Comput., 17 (2): 301-315 (2013)Verifying and Comparing Finite State Machines for Systems that Have Distributed Interfaces.. IEEE Trans. Computers, 62 (8): 1673-1683 (2013)Passive testing with asynchronous communications and timestamps., , and . Distributed Comput., 31 (5): 327-342 (2018)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. Verification Reliab., 16 (4): 289-290 (2006)