Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions | IEEE Conference Publication | IEEE Xplore