Second International Workshop on Dynamic Analysis
Edinburgh, Scotland
Tuesday, 25 May 2004

Program

Tuesday, 25 May 2004

Printing Note: The proceedings are formatted for A4 size paper (how the publisher will print them), but will print out okay on normal US Letter paper also. The individual papers are formatted for US Letter size paper.

Full Proceedings (PDF, 79 pages)

Session 1: (9:00 am - 10:30 am)

Using Static Analysis to Determine Where to Focus Dynamic Testing Effort [Slides: PPT]
Thomas J. Ostrand, Elaine J. Weyuker, and Robert M. Bell

Deriving State-Based Test Oracles for Conformance Testing [Slides: PPT]
James H. Andrews

Towards Defining and Exploiting Similarities in Web Application Use Cases through User Session Analysis [Slides: PPT, PDF (6-up)]
Sreedevi Sampath, Amie L. Souter, and Lori Pollock

Session 2: (11:00 am - 12:30 pm)

Precise Detection of Memory Leaks [Slides: PPT]
Jonas Maebe, Michiel Ronsse, and Koen De Bosschere

On Specifying and Monitoring Epistemic Properties of Distributed Systems [Slides: PPT]
Koushik Sen, Abhay Vardhan, Gul Agha, and Grigore Rosu (position paper)

Ideas for Efficient Hardware-Assisted Data Breakpoints [Slides: PPT, PDF]
Jonathan E. Cook and Mayur Palankar (position paper)

Session 3: (2:00 pm - 3:30 pm)

SAAT: Reverse Engineering for Performance Analysis [Slides: PDF]
Seon-Ah Lee, Seung-Mo Cho, and Sung-Kwan Heo

Performance Data Collection: A Hybrid Approach [Slides: PPT]
Edu Metz and Raimondas Lencevicius (position paper)

Using Runtime Information for Adapting Enterprise Java Beans Application Servers [Slides: PPT]
Mircea Trofin and John Murphy

Session 4: (4:00 pm - 5:30 pm)

Efficient Specification-Assisted Error Localization
Brian Demsky, Cristian Cadar, Daniel Roy, and Martin Rinard

Run Time Monitoring of Reactive System Models [Slides: PPT]
Mikhail Auguston and Mark Trakhtenbrot


woda@cs.virginia.edu