William G. J. Halfond. Automated Checking of Web Application Invocations. In 23rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2012, Dallas, TX, USA, November 27-30, 2012. pages 111-120, IEEE, 2012. [doi]
Abstract is missing.