A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL.

Huiqun Zhao, Jing Sun, Xiaodong Liu

Browse the full APSCC paper archive.