WODA 2008: Seattle, WA, USA

Ben Liblit, Atanas Rountev (Eds.): Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008. ACM 2008, ISBN 978-1-60558-054-8 BibTeX

Program understanding

Steven P. Reiss:
Dynamic detection of event handlers. 1-7
Electronic Edition (ACM DL) BibTeX
Yui Watanabe, Takashi Ishio, Katsuro Inoue:
Feature-level phase detection for execution trace using object cache. 8-14
Electronic Edition (ACM DL) BibTeX
Kyungwoo Lee, Zino Benaissa, Juan Rodriguez:
A dynamic tool for finding redundant computations in native code. 15-21
Electronic Edition (ACM DL) BibTeX

Testing

Alex Groce, Rajeev Joshi:
Random testing and model checking: building a common framework for nondeterministic exploration. 22-28
Electronic Edition (ACM DL) BibTeX
Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere:
Testing mobile computing applications: toward a scenario language and tools. 29-35
Electronic Edition (ACM DL) BibTeX
Alessandro Orso, Tao Xie:
BERT: BEhavioral Regression Testing. 36-42
Electronic Edition (ACM DL) BibTeX

Inferring and checking of run-time constraints

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller:
Efficient runtime invariant checking: a framework and case study. 43-49
Electronic Edition (ACM DL) BibTeX
David Lo, Siau-Cheng Khoo, Chao Liu:
Mining past-time temporal rules from execution traces. 50-56
Electronic Edition (ACM DL) BibTeX
Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell:
Extending dynamic constraint detection with disjunctive constraints. 57-63
Electronic Edition (ACM DL) BibTeX

Fault localization

Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund:
An observation-based model for fault localization. 64-70
Electronic Edition (ACM DL) BibTeX
Martin Burger, Andreas Zeller:
Replaying and isolating failing multi-object interactions. 71-77
Electronic Edition (ACM DL) BibTeX