A specification-based testing framework for Web service-based software.

Chengying Mao

Browse the full GRC paper archive.