Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver.
Lina BentakoukPascal PoizatFatiha ZaïdiPublished in: TAP@TOOLS (2011)
Keyphrases
- web services
- web applications
- web service composition
- automatic discovery
- service oriented architecture
- data intensive
- symbolic representation
- neural network
- business processes
- human behavior
- test cases
- semantic web services
- test data
- test set
- service providers
- loosely coupled
- statistical machine translation
- distributed systems
- behavioral model
- xml technology