Generating Test Cases for Web Services Using Extended Finite State Machine.
ChangSup KeumSungwon KangIn-Young KoJongmoon BaikYoung-Il ChoiPublished in: TestCom (2006)
Keyphrases
- finite state machines
- web services
- finite state automata
- model checking
- state machine
- web applications
- digital circuits
- web service composition
- regular expressions
- business processes
- description language
- hidden markov models
- business process
- quality of service
- service architecture
- cellular automaton
- databases
- automatic discovery
- state transition
- service discovery
- service composition
- service oriented
- service providers
- relational databases