Login / Signup
An Automated Approach for Fault Injection Testing of BPEL Orchestrations.
Dessislava Petrova-Antonova
Sylvia Ilieva
Vera Stoyanova
Ilina Manova
Valentin Pavlov
Published in:
EuroSPI (2013)
Keyphrases
</>
fault injection
java card
web services
fault model
service oriented
business processes
business process
formal methods
service composition
static analysis
business process management
smart card
description language
web services composition
countermeasures
virtual machine
lightweight