A formal approach to specifying and testing the interoperation between components

Il-Hyung Cho, John D. McGregor. A formal approach to specifying and testing the interoperation between components. In A. Joe Turner, editor, Proceedings of the 38th Annual Southeast Regional Conference, 2000, Clemson, South Carolina, USA, April 7-8, 2000. pages 161-170, ACM, 2000. [doi]

Authors

Il-Hyung Cho

This author has not been identified. Look up 'Il-Hyung Cho' in Google

John D. McGregor

This author has not been identified. It may be one of the following persons: Look up 'John D. McGregor' in Google