QoS Testing and Symbolic Techniques for Composite Web Service. - Issam Rabhi; Imen Essoussi (Int. J. Web Appl., 2013)