• Publications
  • Influence
A framework for automated testing of javascript web applications
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 automated testExpand
  • 177
  • 14
  • Open Access
Finding bugs in dynamic web applications
Web script crashes and malformed dynamically-generated Web pages are common errors, and they seriously impact usability of Web applications. Current tools for Web-page validation cannot handle theExpand
  • 162
  • 11
  • Open Access
Directed test generation for effective fault localization
Fault-localization techniques that apply statistical analyses to execution data gathered from multiple tests are quite effective when a large test suite is available. However, if no test suite isExpand
  • 132
  • 10
  • Open Access
ReCrash: Making Software Failures Reproducible by Preserving Object States
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel technique, ReCrash,Expand
  • 113
  • 9
  • Open Access
Object and reference immutability using Java generics
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a novel languageExpand
  • 90
  • 9
  • Open Access
Automated repair of HTML generation errors in PHP applications using string constraint solving
PHP web applications routinely generate invalid HTML. Modern browsers silently correct HTML errors, but sometimes malformed pages render inconsistently, cause browser crashes, or expose securityExpand
  • 102
  • 7
  • Open Access
F4F: taint analysis of framework-based web applications
This paper presents F4F (Framework For Frameworks), a system for effective taint analysis of framework-based web applications. Most modern web applications utilize one or more web frameworks, whichExpand
  • 72
  • 7
  • Open Access
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
Web script crashes and malformed dynamically generated webpages are common errors, and they seriously impact the usability of Web applications. Current tools for webpage validation cannot handle theExpand
  • 172
  • 5
  • Open Access
Automatic test factoring for java
Test factoring creates fast, focused unit tests from slow system-wide tests; each new unit test exercises only a subset of the functionality exercised by the system test. Augmenting a test suite withExpand
  • 127
  • 5
  • Open Access
In vivo and in vitro tracking of erosion in biodegradable materials using non-invasive fluorescence imaging
The design of erodible biomaterials relies on the ability to program the in vivo retention time, which necessitates real-time monitoring of erosion. However, in vivo performance cannot always beExpand
  • 143
  • 4
  • Open Access