WODA

Publications

2012

Shengqian Yang, Dacong Yan, Guoqing Xu, Atanas Rountev
Dynamic analysis of inefficiently-used containers. WODA (2012)
Kevin Buell, James S. Collofello
Dynamic cost verification for cloud applications. WODA (2012)
Alex Groce, Martin Erwig
Finding common ground: choose, assert, and assume. WODA (2012)
Imran Ashraf, Sayyed Arash Ostadzadeh, Roel Meeuws, Koen Bertels
Communication-aware HW/SW co-design for heterogeneous multicore platforms. WODA (2012)
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. WODA (2012)
Danny Weyns
Towards an integrated approach for validating qualities of self-adaptive systems. WODA (2012)
Mohammad Amin Alipour, Alex Groce
Extended program invariants: applications in testing and fault localization. WODA (2012)

2011

2010