Generating finite state machine from WSMO choreography for testing Web services

by Rusli H.M.; Ahmad A.; Ibrahim S.; Puteh M.
Published in The 10th International Conference on Digital Information Management, ICDIM 2015 (2016)