ISSTA 2012 Workshop
2012 International Symposium on Software Testing and Analysis (ISSTA)
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 ORCID logo, 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)
Extended Program Invariants: Applications in Testing and Fault Localization
Mohammad Amin Alipour and Alex Groce
(Oregon State University, USA)
Finding Common Ground: Choose, Assert, and Assume
Alex GroceORCID logo and Martin Erwig
(Oregon State University, USA)

Cloud and Adaptive Systems

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

Software and Hardware Design

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

proc time: 0.79