


default search action
10th WODA@ISSTA 2012: Minneapolis, MN, USA
- Eric Bodden, Madanlal Musuvathi:

Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012. ACM 2012, ISBN 978-1-4503-1455-8
Testing and Verification
- Ishtiaque Hussain, Christoph Csallner

, Mark Grechanik
, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja
, B. M. Mainul Hossain
:
Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator. 1-6 - Mohammad Amin Alipour

, Alex Groce:
Extended program invariants: applications in testing and fault localization. 7-11 - Alex Groce, Martin Erwig:

Finding common ground: choose, assert, and assume. 12-17
Cloud and Adaptive Systems
- Kevin Buell, James S. Collofello:

Dynamic cost verification for cloud applications. 18-23 - Danny Weyns

:
Towards an integrated approach for validating qualities of self-adaptive systems. 24-29
Software and Hardware Design
- Shengqian Yang, Dacong Yan, Guoqing Xu, Atanas Rountev:

Dynamic analysis of inefficiently-used containers. 30-35 - Imran Ashraf, Sayyed Arash Ostadzadeh

, Roel Meeuws, Koen Bertels:
Communication-aware HW/SW co-design for heterogeneous multicore platforms. 36-41

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














