Login / Signup
Towards Standard Conformant BPEL Engines: The Case of Static Analysis.
Christian R. Preißinger
Simon Harrer
Stephan J. A. Schuberth
David Bimamisa
Guido Wirtz
Published in:
ZEUS (2014)
Keyphrases
</>
static analysis
dynamic analysis
web services
malicious code
source code
formal methods
service oriented
business processes
training data
object oriented
java card
symbolic execution
business process
description language
test generation