Testing and verification in service-oriented architecture: a survey.
Mustafa BozkurtMark HarmanYoussef HassounPublished in: Softw. Test. Verification Reliab. (2013)
Keyphrases
- service oriented architecture
- service oriented
- web services
- formal verification
- loosely coupled
- business process
- model checking
- test generation
- lightweight
- artifact centric
- symbolic execution
- model driven
- service discovery
- business processes
- loose coupling
- industrial automation
- process automation
- service composition
- service oriented computing
- test cases
- digital campus
- model driven development
- distributed systems
- real time
- user interface
- data driven
- source code