We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Extended Finite State Machines (EFSMs) are widely used to model the behavior of a system. Testing from EFSMs is expressed in terms of generating transition paths and then deriving test data to trigger these paths. However, a transition path may be infeasible, thus it is impossible to generate test data to execute it. In this paper, after generating a set of(More)
Web service composition involves a collection of web services; the interaction among the participating services makes the testing of the web service composition significantly complicated. In this paper, we present an approach of test case generation for Business Process Execution Language (BPEL) based web service composition using Colored Petri Net (CPN)(More)
  • 1