Component composition errors and update atomicity: static analysis.

Jirí Adámek Frantisek Plasil

Published in: J. Softw. Maintenance Res. Pract. (2005)

Keyphrases

static analysis
dynamic analysis
source code
symbolic execution
electronic commerce
malicious code
regular expressions
java card
abstract interpretation
web service composition
multidatabase systems
test generation
database
high level
feature space
composite services