BPEL Conformance in Open Source Engines: The Case of Static Analysis.

Simon Harrer Christian R. Preißinger Guido Wirtz

Published in: SOCA (2014)

Keyphrases

static analysis
open source
source code
dynamic analysis
web services
symbolic execution
business processes
business process
malicious code
service oriented
service composition
database
reverse engineering
business process management
software systems
high level
databases