WuKong: automatically detecting and localizing bugs that manifest at large system scales. - Bowen Zhou 008; Jonathan Too; Milind Kulkarni 001; Saurabh Bagchi (HPDC, 2013)