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

Editorial: special issue on specification-based testing., and . Softw. Test. Verification Reliab., 10 (4): 201-202 (2000)The dreaded desk reject.. Softw. Test. Verification Reliab., 26 (1): 3 (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)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)A Test Taxonomy Applied to the Mechanics of Java Refactorings., , and . SCSS (1), page 497-502. Springer, (2007)Distinguishing Sequences for Partially Specified FSMs., and . NASA Formal Methods, volume 8430 of Lecture Notes in Computer Science, page 62-76. Springer, (2014)A mapping study on testing non-testable systems., and . Softw. Qual. J., 26 (4): 1373-1413 (2018)