Bug Detection in Large-Scale Nuclear Power Software | IEEE Conference Publication | IEEE Xplore