Author of the publication

Testing in the Distributed Test Architecture.

, , and . Formal Methods and Testing, volume 4949 of Lecture Notes in Computer Science, page 157-183. Springer, (2008)

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 Coordination Channels in Distributed Testing., , and . FORTE, volume 4229 of Lecture Notes in Computer Science, page 451-466. Springer, (2006)Recovering the Lattice of Repetitive Sub-functions., , and . ISCIS, volume 3733 of Lecture Notes in Computer Science, page 956-965. Springer, (2005)Dependence Testing: Extending Data Flow Testing with Control Dependence., and . TestCom, volume 3502 of Lecture Notes in Computer Science, page 23-39. Springer, (2005)An EFSM-Based Passive Fault Detection Approach., and . TestCom/FATES, volume 4581 of Lecture Notes in Computer Science, page 335-350. Springer, (2007)Generalizing Fair Reachability Analysis to Protocols with Arbitrary Topology (Abstract)., and . PODC, page 267. ACM, (1995)Regression test suite reduction using extended dependence analysis., , and . SOQUA, page 62-69. ACM, (2007)Detecting Observability Problems in Distributed Testing., and . TestCom, volume 3964 of Lecture Notes in Computer Science, page 213-226. Springer, (2006)User-Guided Test Sequence Generation., and . Protocol Specification, Testing, and Verification, page 421-436. North-Holland, (1983)Requirements for a Test Specification Language for Protocol Implementation Testing., and . Protocol Specification, Testing, and Verification, page 437-443. North-Holland, (1983)Corba-Based Telecom Application of Distributed Object Computing., , , and . Applied Informatics, page 58-60. IASTED/ACTA Press, (1999)