Testing and analysis techniques to ensure that web applications function with a high level of quality are essential. However, many traditional software quality assurance techniques are not directly applicable to modern web applications. The reason for this is, in part, due to the highly dynamic nature of modern web applications. They typically use generated object programs (e.g., HTML and JavaScript), have dynamic interfaces, and different models of execution. This makes it challenging to apply or adapt conventional testing and analysis techniques.

My work on this area has included the development of program analysis based techniques for analyzing the server side implementation of web applications. In particular, the techniques can identify interface and invocation information and use it to improve the performance of traditional testing techniques, such as penetration testing, invocation verification, and test-input generation.

2015
[9]
Identifying Inter-Component Control-flow in Web Applications. William G.J. Halfond. In Proceedings of the 15th International Conference on Web Engineering (ICWE). June 2015.
2012
[8]
Automated Checking of Web Application Invocations. William G. J. Halfond. In Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE). November 2012.
2011
[7]
Domain and value checking of web application invocation arguments. William G.J. Halfond. In Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Short Paper. November 2011.
2010
[6]
Program Analysis To Support Quality Assurance Techniques For Web Applications. William G.J. Halfond. PhD thesis, Georgia Institute of Technology 2010.
2009
[5]
Precise Interface Identification to Improve Testing and Analysis of Web Applications. William G. J. Halfond, Saswat Anand, Alessandro Orso. In Proceedings of the International Symposium on Software Testing and Analysis. July 2009. Distinguished Paper Award.
2008
[4]
Automated Identification of Parameter Mismatches in Web Applications. William G.J. Halfond, Alessandro Orso. In Proceedings of the Symposium on the Foundations of Software Engineering. November 2008. Best Student Presentation Award.
[3]
Web Application Modeling for Testing and Analysis. William G.J. Halfond. In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Doctoral Symposium. November 2008.
2007
[2]
Improving Test Case Generation for Web Applications Using Automated Interface Discovery. William G.J. Halfond, Alessandro Orso. In Proceedings of the Symposium on the Foundations of Software Engineering. September 2007.
2006
[1]
Command-Form Coverage for Testing Database Applications. William G.J. Halfond, Alessandro Orso. In Proceedings of the International Conference on Automated Software Engineering. September 2006.