Improving the Static Analysis Conformance of BPEL Engines with BPELlint.
Simon HarrerMatthias GeigerChristian R. PreißingerDavid BimamisaStephan J. A. SchuberthGuido WirtzPublished in: SOSE (2015)
Keyphrases
- static analysis
- dynamic analysis
- web services
- source code
- business process
- business processes
- service oriented
- service composition
- abstract interpretation
- symbolic execution
- malicious code
- java card
- test generation
- reverse engineering
- formal methods
- test suite
- databases
- data model
- web services composition
- colored petri nets
- regular expressions
- artificial intelligence