Toward a Constraint Based Test Case Generation of Parallel BPEL Process | IEEE Conference Publication | IEEE Xplore