A discrete SRGM for multi-release software system with imperfect debugging and related optimal release policy | IEEE Conference Publication | IEEE Xplore