 |
 |
WODA 2005 Third International Workshop on Dynamic Analysis |
|
|
|
WODA 2005 Third International Workshop on Dynamic Analysis |
| 8:00-9:00 | Breakfast (?) (see note below *) |
| 9:00-10:30 | Workshop Introduction (15 minutes) • Welcome (Andrews, Pollock) • Agenda and Goals of the Workshop (Andrews, Pollock) Session 1 • Dynamic Detection and Visualization of Software Phases (Reiss) • Refactoring gcc Using Structure Field Access Traces and Concept Analysis (Bowdidge) • Analyzing Clusters of Web Application User Sessions (Sampath, Sprenkle, Gibson, Pollock, Souter) |
| 10:30-11:00 | Break |
| 11:00-12:30 |
Session 2 • Merging Traces of Hardware-Assisted Data Breakpoints (Palankar, Cook) • Combining Static Analysis and Runtime Monitoring to Counter SQL-Injection Attacks (Halfond, Orso) • Dynamic Analysis of Java Applications for Multi-Threaded Antipatterns (Boroday, Petrenko, Singh, Hallal) |
| 12:30-2:00 | Lunch |
| 2:00-3:30 | Session 3 • An Exploration of Statistical Models for Automated Test Case Generation (Sant, Souter, Greenwald) • Selective Capture and Replay of Program Executions (Orso, Kennedy) • Event-Based Runtime Verification of Java Programs (d'Amorim, Havelund) |
| 3:30-4:00 | Break |
| 4:00-5:30 | Session 4 • Efficient Static Analysis with Path Pruning using Coverage Data (Vipindeep, Jalote) • Measuring Precision for Static and Dynamic Design Pattern Recognition as a Function of Coverage (Petterson) General Discussion, Wrap-Up, and Evaluation |