Testing Web Service Orchestrators in Context: A Symbolic Approach | IEEE Conference Publication | IEEE Xplore