WODA 2012 – Proceedings

2012 10th International Workshop on Dynamic Analysis (WODA)

Preface

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)


@InProceedings{WODA12p1, author = {Ishtiaque Hussain and Christoph Csallner and Mark Grechanik and Chen Fu and Qing Xie and Sangmin Park and Kunal Taneja and B. M. Mainul Hossain}, title = {Evaluating Program Analysis and Testing Tools with the RUGRAT Random Benchmark Application Generator}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2012}, }

Extended Program Invariants: Applications in Testing and Fault Localization
Mohammad Amin Alipour and Alex Groce
(Oregon State University, USA)


@InProceedings{WODA12p7, author = {Mohammad Amin Alipour and Alex Groce}, title = {Extended Program Invariants: Applications in Testing and Fault Localization}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2012}, }

Finding Common Ground: Choose, Assert, and Assume
Alex Groce and Martin Erwig
(Oregon State University, USA)


@InProceedings{WODA12p13, author = {Alex Groce and Martin Erwig}, title = {Finding Common Ground: Choose, Assert, and Assume}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2012}, }

Cloud and Adaptive Systems

Dynamic Cost Verification for Cloud Applications
Kevin Buell and James Collofello
(Arizona State University, USA)


@InProceedings{WODA12p19, author = {Kevin Buell and James Collofello}, title = {Dynamic Cost Verification for Cloud Applications}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {19-18}, doi = {}, year = {2012}, }

Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems
Danny Weyns
(Linnaeus University, Sweden)


@InProceedings{WODA12p25, author = {Danny Weyns}, title = {Towards an Integrated Approach for Validating Qualities of Self-Adaptive Systems}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2012}, }

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)


@InProceedings{WODA12p31, author = {Shengqian Yang and Dacong Yan and Guoqing Xu and Atanas Rountev}, title = {Dynamic Analysis of Inefficiently-Used Containers}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {31-30}, doi = {}, year = {2012}, }

Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms
Imran Ashraf, S. Arash Ostadzadeh, Roel Meeuws, and Koen Bertels
(TU Delft, Netherlands)


@InProceedings{WODA12p37, author = {Imran Ashraf and S. Arash Ostadzadeh and Roel Meeuws and Koen Bertels}, title = {Communication-Aware HW/SW Co-design for Heterogeneous Multicore Platforms}, booktitle = {Proc.\ WODA}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2012}, }

proc time: 0.83