-
Symbolic Testing Approach of Composite Web Services
Web services are gaining industry-wide acceptance and usage by fostering the developmentof distributed applications out of the composition of simpler entities... -
Distributed On-the-Fly Verification of Large State Spaces
The verification of concurrent finite-state systems is confronted in practice with the state explosion problem (prohibitive size of the underlying state space), which...
