Bug Detection in Large-Scale Nuclear Power Software.

Zheng Liu, Wentao Mo, Dangpei Ren, Guang Zhao, Mingye Liu

Browse the full ISSRE paper archive.