WODA 2005:  Accepted Papers

Dynamic Detection and Visualization of Software Phases
    Steven Reiss, Brown University, USA

Evaluating Hardware-Assisted Data Breakpoints
    Mayur Palankar, New Mexico State University, USA
    Jonathan Cook, New Mexico State University, USA

An Exploration of Statistical Models for Automated Test Case Generation
    Jessica Sant, HP, USA
    Amie Souter, Drexel University, USA
    Lloyd Greenwald, Drexel University, USA

Analyzing Clusters of Web Application User Sessions
    Sreedevi Sampath, University of Delaware, USA
    Sara Sprenkle, University of Delaware, USA
    Emily Gibson, University of Delaware, USA
    Lori Pollock, University of Delaware, USA
    Amie Souter, Drexel University, USA

Efficient Static Analysis with Path Pruning using Coverage Data
    Vipindeep Vangala, Indian Institute of Technology, Kanpur, India
    Pankaj Jalote, Indian Institute of Technology, Kanpur, India

AMNESIA: Analysis and Monitoring for NEutralizing SQL Injection Attacks
    William Halfond, Georgia Institute of Technology, USA
    Alessandro Orso, Georgia Institute of Technology, USA

Jax: a Runtime Verification tool for Java
    Marcelo d'Amorim, University of Illinois Urbana Champaign, USA
    Klaus Havelund, Kestrel Technologies, NASA Ames Research Center, USA

Refactoring gcc Using Structure Field Access Traces and Concept Analysis
    Robert Bowdidge, Apple Computer, USA

Measuring Precision for Static and Dynamic Design Pattern Recognition
as a Function of Coverage
    Niklas Pettersson, Växjö University, Sweden

Selective Capture and Replay of Program Executions
    Alessandro Orso, Georgia Institute of Technology, USA
    Bryan Kennedy, Georgia Institute of Technology, USA

Dynamic Analysis of Java Applications for MultiThreaded Antipatterns
    Sergiy Boroday, CRIM, Canada
    Alexandre Petrenko, CRIM, Canada
    Jagmit Singh, Concordia University, Canada
    Hesham Hallal, CRIM, Canada