Author of the publication

Assertional checking and symbolic execution: An effective combination for debugging.

, , and . ACM Annual Conference, page 152-156. ACM, (1979)

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

A General, Verifiable Iterative Control Structure.. IEEE Trans. Software Eng., 3 (2): 144-149 (1977)On Proof Rules for Monitors., and . Operating Systems Review, 16 (2): 18-27 (1982)Reply: Operating System Review 16(4): 8-9 (1982).Textual materials for courses in computers and society (SIGCAS)., , , , and . ACM Annual Conference, page 105. ACM, (1980)A State-of-the-Art CS Undergraduate Lab., and . CSEE, volume 423 of Lecture Notes in Computer Science, page 85-94. Springer, (1990)Publishing a computer science textbook (panel session)., , , , , , , , and . ACM Conference on Computer Science, page 397-398. ACM, (1986)Converting from Pascal to Modula-2 in the undergraduate curriculum., , and . SIGCSE, page 50-52. ACM, (1986)Assertional checking and symbolic execution: An effective combination for debugging., , and . ACM Annual Conference, page 152-156. ACM, (1979)Using concept expansion and level integration in an introductory computer science course., and . SIGCSE, page 244-248. ACM, (1988)