Author of the publication

Dynamic Slicing in the Presence of Unconstrained Pointers.

, , and . Symposium on Testing, Analysis, and Verification, page 60-73. ACM, (1991)

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

Protocols for Data Security., and . Computer, 16 (2): 39-51 (1983)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)Experimental Results from an Automatic Test Case Generator., and . ACM Trans. Softw. Eng. Methodol., 2 (2): 109-127 (1993)Multilevel Secure Distributed System., , and . ICDCS, page 308-312. IEEE Computer Society, (1981)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)Protecting Shared Cryptographic Keys., , and . S&P, page 100-102. IEEE Computer Society, (1980)Critical Slicing for Software Fault Localization., , and . ISSTA, page 121-134. ACM, (1996)Theoretical and Empirical Studies on Using Program Mutation to Test the Functional Correctness of Programs, , , and . Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, page 220--233. Las Vegas, Nevada, ACM SIGACT-SIGPLAN, (January 1980)