We present results for the" Impact Project Focus Area" on the topic of symbolic execution as
used in software testing. Symbolic execution is a program analysis technique introduced in …

Current practice in testing JavaScript web applications requires manual construction of test
cases, which is difficult and tedious. We present a framework for feedback-directed …

Ajax-based Web 2.0 applications rely on stateful asynchronous client/server communication,
and client-side runtime manipulation of the DOM tree. This not only makes them …

Automatic testing, in particular test input generation, has become increasingly popular in the
research community over the past ten years. In this paper, we conduct a survey on existing …

Ajax becomes more and more important for web applications that care about client side user
experience. It allows sending requests asynchronously, without blocking clients from …

Test suite augmentation techniques are used in regression testing to identify code elements
affected by changes and to generate test cases to cover those elements. Whereas methods …

Checking/correcting HTML validation errors in Web pages is helpful for Web developers in
finding/fixing bugs. However, existing validating/fixing tools work well only on static HTML …

In recent years, there has been significant interest in fault-localization techniques that are
based on statistical analysis of program constructs executed by passing and failing …

Cross-browser issues are prevalent in web applications. However, existing tools require
considerable manual effort from developers to detect such issues. Our technique and …

While web applications expand in usage and complexity, testing demands are growing
without corresponding automated support. One promising approach to automatic test …