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

Experimental Results from an Automatic Test Case Generator., and . ACM Trans. Softw. Eng. Methodol., 2 (2): 109-127 (1993)Cryptographic Protocols, , and . STOC, page 383-400. ACM, (1982)Constraint-Based Automatic Test Data Generation., and . IEEE Trans. Software Eng., 17 (9): 900-910 (1991)Protocols for Data Security., and . Computer, 16 (2): 39-51 (1983)Critical Slicing for Software Fault Localization., , and . ISSTA, page 121-134. ACM, (1996)Protecting Shared Cryptographic Keys., , and . S&P, page 100-102. IEEE Computer Society, (1980)Some Critical Remarks on a Hierarchy of Fault-Detecting Abilities of Test Methods., , and . IEEE Trans. Software Eng., 21 (10): 858-861 (1995)Introduction to the Special Section.. IEEE Trans. Software Eng., 20 (10): 749 (1994)Multilevel Secure Distributed System., , and . ICDCS, page 308-312. IEEE Computer Society, (1981)Implicit Computation of Synchronization Primitives., and . Inf. Process. Lett., 9 (1): 35-38 (1979)