SOA Testing via Random Paths in BPEL Models | IEEE Conference Publication | IEEE Xplore