Login / Signup
Takuan: A Tool for WS-BPEL Composition Testing Using Dynamic Invariant Generation.
Manuel Palomo-Duarte
Antonio García-Domínguez
Inmaculada Medina-Bulo
Alejandro Álvarez-Ayllón
Javier Santacruz
Published in:
ICWE (2010)
Keyphrases
</>
ws bpel
databases
dynamic environments
business process
dynamically changing
real time
neural network
real world
social networks
website
database systems
search algorithm
dynamic analysis