Testing of Java Web Services for Robustness
International Symposium on Software Testing and Analysis
This paper gives compiler algorithms to automatically perform the analysis of web service programs that is needed for the testing system we had published in our 2003 DSN paper (for that paper, the analysis was done by a graduate student - an approach that clearly cannot be applied on a large-scale in practice). I believe I included a copy of this paper with my PAF last year, as we knew at the time it had been accepted. --author-supplied description
Chen Fu, Ana Milanova, Barbara G. Ryder and David Wonnacott. Robustness Testing of Java Server Applications. IEEE Trans. Software Eng. , April 2005.