A Formal Specification-Based Testing Approach to Accurate Web Service Selection.

Weikai Miao, Shaoying Liu

Browse the full APSCC paper archive.