Author of the publication

The Trace Specification of Communications Protocols.

. IEEE Trans. Computers, 34 (12): 1102-1113 (1985)

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 Trace Specification of Communications Protocols.. IEEE Trans. Computers, 34 (12): 1102-1113 (1985)Tool Support for Testing Concurrent Java Components., , and . IEEE Trans. Software Eng., 29 (6): 555-566 (2003)State Generation and Automated Class Testing., , , , and . Softw. Test. Verification Reliab., 10 (3): 149-170 (2000)A case study in class testing., and . CASCON, page 472-482. IBM, (1993)Graph-based Class Testing., and . Aust. Comput. J., 26 (4): 158-163 (1994)Bad Pairs in Software Testing., , , , and . TAIC PART, volume 6303 of Lecture Notes in Computer Science, page 39-55. Springer, (2010)State Abstraction and Modular Software Development., and . SIGSOFT FSE, page 53-61. ACM, (1995)A CASE study in module testing.. ICSM, page 100-105. IEEE, (1989)David L. Parnas Symposium., and . ICSE, page 807-809. IEEE Computer Society, (2001)White Box Pairwise Test Case Generation., , , and . QSIC, page 286-291. IEEE Computer Society, (2007)