Shuai Wang, Yindong Ji, Wei Dong, Shiyuan Yang. A New Formal Test Method for Networked Software Integration Testing. In David Taniar, Osvaldo Gervasi, Beniamino Murgante, Eric Pardede, Bernady O. Apduhan, editors, Computational Science and Its Applications - ICCSA 2010, International Conference, Fukuoka, Japan, March 23-26, 2010, Proceedings, Part II. Volume 6017 of Lecture Notes in Computer Science, pages 463-474, Springer, 2010. [doi]
Abstract is missing.