Jun Yan Zhong Jie Li Yuan Yuan Wei Sun Jian Zhang BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach. 75-84 2006 conf/issre/2006 ISSRE http://doi.ieeecomputersociety.org/10.1109/ISSRE.2006.16 db/conf/issre/issre2006.html#YanLYSZ06