Assessing and Comparing Vulnerability Detection Tools for Web Services: Benchmarking Approach and Examples. - Antunes, Nuno; Vieira, Marco (IEEE Trans. Serv. Comput., 2015)