Author of the publication

Program understanding behavior during debugging of large scale software.

, and . ESP, page 157-179. ACM, (1997)

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

The Role of Simulation in Software Engineering Experimentation.. Experimental Software Engineering Issues, volume 706 of Lecture Notes in Computer Science, page 177-179. Springer, (1992)An Ada Deadlock Testing Algorithm Based on Control and Communication Flow Graphs., and . TRI-Ada, page 450-457. ACM, (1992)AMT - the Ada maintenance toolchest.. TRI-Ada, page 294-299. ACM, (1991)Achieving the Quality of Verification for Behavioral Models with Minimum Effort., , , , and . ISQED, page 234-. IEEE Computer Society, (2000)How Much Testing is Enough? Applying Stopping Rules to Behavioral Model Testing., , , , and . HASE, page 249-256. IEEE Computer Society, (1999)Efficient Verification of Behavioral Models Using Sequential Sampling Technique., , , and . VLSI, volume 162 of IFIP Conference Proceedings, page 398-406. Kluwer, (1999)Assessing and Understanding Efficiency and Success of Software Production., , and . Empirical Software Engineering, 5 (2): 125-154 (2000)Testing Object-Oriented Systems Using Extended Use-Cases., and . PDPTA, CSREA Press, (2000)Software Testing: Opportunity and Nightmare.. ITC, page 551-552. IEEE Computer Society, (1992)Automated testing support for a robot tape library., and . ISSRE, page 6-14. IEEE Computer Society, (1993)