Bug Detection in Large-Scale Nuclear Power Software. - Zheng Liu; Wentao Mo; Dangpei Ren; Guang Zhao; Mingye Liu (ISSRE Workshops, 2012)