Author of the publication

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

Oracles for Distributed Testing.. IEEE Trans. Software Eng., 38 (3): 629-641 (2012)Generating Complete Controllable Test Suites for Distributed Testing.. IEEE Trans. Software Eng., 41 (3): 279-293 (2015)Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs., and . ACM Trans. Softw. Eng. Methodol., 26 (1): 5:1-5:34 (2017)Verdict functions in testing with a fault domain or test hypotheses.. ACM Trans. Softw. Eng. Methodol., 18 (4): 14:1-14:19 (2009)Parallel Algorithms for Generating Harmonised State Identifiers and Characterising Sets., and . IEEE Trans. Computers, 65 (11): 3370-3383 (2016)Using a minimal number of resets when testing from a finite state machine.. Inf. Process. Lett., 90 (6): 287-292 (2004)Overcoming observability problems in distributed test architectures., , and . Inf. Process. Lett., 98 (5): 177-182 (2006)Measuring personality from keyboard and mouse use., , , and . ECCE, page 38. ACM, (2008)Concerning the Ordering of Adaptive Test Sequences., and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 289-302. Springer, (2003)An Implementation Relation and Test Framework for Timed Distributed Systems., , and . ICTSS, volume 8254 of Lecture Notes in Computer Science, page 82-97. Springer, (2013)