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 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Eric Bodden, Madanlal Musuvathi, editors, 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. [doi]

Conference: ISSTA2012

Abstract is missing.

Evaluating program analysis and testing tools with the RUGRAT random benchmark application generatorIshtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain. 1-6 [doi]

Extended program invariants: applications in testing and fault localizationMohammad Amin Alipour, Alex Groce. 7-11 [doi]

Finding common ground: choose, assert, and assumeAlex Groce, Martin Erwig. 12-17 [doi]

Dynamic cost verification for cloud applicationsKevin Buell, James S. Collofello. 18-23 [doi]

Towards an integrated approach for validating qualities of self-adaptive systemsDanny Weyns. 24-29 [doi]

Dynamic analysis of inefficiently-used containersShengqian Yang, Dacong Yan, Guoqing (Harry) Xu, Atanas Rountev. 30-35 [doi]

Communication-aware HW/SW co-design for heterogeneous multicore platformsImran Ashraf, S. Arash Ostadzadeh, Roel Meeuws, Koen Bertels. 36-41 [doi]

runs on WebDSL