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

Program understanding

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

Testing

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

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
David Lo, Siau-Cheng Khoo, Chao Liu:
Mining past-time temporal rules from execution traces. 50-56
Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell:
Extending dynamic constraint detection with disjunctive constraints. 57-63

Fault localization

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

Last update Fri May 25 08:24:24 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page