Zheng Liu, Wentao Mo, Dangpei Ren, Guang Zhao, Mingye Liu. Bug Detection in Large-Scale Nuclear Power Software. In 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Dallas, TX, USA, November 27-30, 2012. pages 47-52, IEEE, 2012. [doi]
Abstract is missing.