Research Goals:
The overall goal of my research work is to improve quality assurance techniques for web applications. The way that I have approached this goal is to use automated static analysis techniques to analyze and better understand the structure of web applications. I use the information obtained from these analyses to improve existing quality assurance techniques and develop new techniques that target issues unique to web applications. My work on quality assurance for web applications has included techniques for generating test-inputs, verifying interactions between components of a web application, run-time protection, and penetration testing.