ISSTA 2011 Workshop
2011 International Symposium on Software Testing and Analysis (ISSTA 2011)
Powered by
Conference Publishing Consulting
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)

Preface

Title Page
Foreword

Session I: Analyzing Logs and Traces

Detecting Algorithms using Dynamic Analysis
Kenneth Oksanen
(Aalto University, Finland)
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)
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)

Session II: Optimizing Dynamic Analysis

Custom-made Instrumentation Based on Static Analysis
Tobias Gutzmann and Welf Löwe
(Linnaeus University, Sweden)
Continuation Equivalence: A Correctness Criterion for Static Optimizations of Dynamic Analyses
Eric Bodden
(TU Darmstadt, Germany)

Session III: Programming and Dynamic Analysis

Retroactive Aspects: Programming in the Past
Robin Salkeld, Brendan Cully, Geoffrey Lefebvre, Wenhao Xu, Andrew Warfield, and Gregor Kiczales
(University of British Columbia, Canada)
Sloppy Python: Using Dynamic Analysis to Automatically Add Error Tolerance to Ad-Hoc Data Processing Scripts
Philip J. Guo
(Stanford University, USA)

proc time: 0.01