Quality Assurance Techniques for Web Applications

Speaker: William G. J. Halfond, Georgia Institute of Technology
Host: Prof. Nenad MedvidovicAbstract:
Over the past decade, web applications have become big business. They are used to provide a variety of services, such as banking, online shopping, and entertainment, to millions of users. Thisgrowth in web applications has driven a need for specialized quality assurance techniques that can help developers prevent security vulnerabilities and ensure that their web applications run reliably.Although there has been an extensive amount of research in the area of software quality assurance, the majority of existing techniques are not directly applicable to web applications. Part of the reason for this is that traditional abstractions used in these techniques, such as control-flow, data-flow, and interfaces, look very different in web applications. This talk provides an overview of my research in quality assurance for web applications and also discusses in more detail my working one aspect of this problem, interface definitions, and its application to test-input generation and verification of web applications.Biography:
William Halfond is a final year PhD student in the College of Computing at the Georgia Institute of Technology. He works with Professor Alessandro Orso in the area of software engineering. He is interested in quality assurance techniques for web applications and has worked on various topics including program analysis, test-input generation, testing requirements, runtime analysis, and security.

Location: Seaver Science Library (SSL) - 150

Audiences: Everyone Is Invited

Contact: CS Colloquia