Powered by

Ninth International Workshop on Dynamic Analysis (WODA 2011), July 18, 2011, Toronto, ON, Canada

WODA 2011 – Proceedings

Contents - Abstracts - Authors

Ninth International Workshop on Dynamic Analysis (WODA 2011)

Title Page
Article: isstaws11wodaforeword-fm000-p (type: Frontmatter) doi:

Foreword
Article: isstaws11wodaforeword-fm001-p (type: Frontmatter) doi:

Detecting Algorithms using Dynamic Analysis
Kenneth Oksanen
(Aalto University, Finland)
Article: isstaws11woda-11-p (type: Full Paper) doi:

A Method Facilitating Integration Testing of Embedded Software
Dominik Hura and Michał Dimmich
(Delphi Poland S.A., Poland; Silesian University of Technology, Poland; Wroclaw University of Technology, Poland)
Article: isstaws11woda-15-p (type: Full Paper) doi:

Dynamic Invariant Detection for Relational Databases
Jake Cobb, Gregory M. Kapfhammer, James A. Jones, and Mary Jean Harrold
(Georgia Tech, USA; Allegheny College, USA; UC Irvine, USA)
Article: isstaws11woda-6-p (type: Full Paper) doi:

Custom-made Instrumentation Based on Static Analysis
Tobias Gutzmann and Welf Löwe
(Linnaeus University, Sweden)
Article: isstaws11woda-13-p (type: Full Paper) doi:

Continuation Equivalence: A Correctness Criterion for Static Optimizations of Dynamic Analyses
Eric Bodden
(TU Darmstadt, Germany)
Article: isstaws11woda-1-p (type: Full Paper) doi:

Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
Article: isstaws11woda-12-p (type: Full Paper) doi:

proc time: 0.01