Anthony Chung, Tao Huang. An Experiment in the Generation of Executable Test Sequences for the Inres Protocol. In Walter Dosch, Roger Y. Lee, editors, Proceedings of the ACIS Fourth International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 03), October 16-18, 2003, Lübeck, Germany. pages 234-241, ACIS, 2003.
Abstract is missing.