July 15th-20st, 2012, Minneapolis, MN, USA
Powered by
Conference Publishing Consulting

2012 10th International Workshop on Dynamic Analysis (WODA), July 15, 2012, Minneapolis, MN, USA

WODA 2012 – Proceedings

Contents - Abstracts - Authors

2012 10th International Workshop on Dynamic Analysis (WODA)

Preface

Title Page
Foreword
Committees

Testing and Verification

Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator
Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, and B. M. Mainul Hossain
(University of Texas at Arlington, USA; Accenture Technology Labs, USA; University of Illinois at Chicago, USA; Georgia Tech, USA; North Carolina State University, USA)
Article Search
Extended Program Invariants: Applications in Testing and Fault Localization
Mohammad Amin Alipour and Alex Groce
(Oregon State University, USA)
Article Search
Finding Common Ground: Choose, Assert, and Assume
Alex Groce and Martin Erwig
(Oregon State University, USA)
Article Search

Cloud and Adaptive Systems

Dynamic Cost Verification for Cloud Applications
Kevin Buell and James Collofello
(Arizona State University, USA)
Article Search
Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems
Danny Weyns
(Linnaeus University, Sweden)
Article Search

Software and Hardware Design

Dynamic Analysis of Inefficiently-Used Containers
Shengqian Yang, Dacong Yan, Guoqing Xu, and Atanas Rountev
(Ohio State University, USA; UC Irvine, USA)
Article Search
Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms
Imran Ashraf, S. Arash Ostadzadeh, Roel Meeuws, and Koen Bertels
(TU Delft, Netherlands)
Article Search

proc time: 0.26