Toward a Constraint Based Test Case Generation of Parallel BPEL Process. - Sara Serbout; Mohammed Benattou (ICMCS, 2018)