Test-execution-based reliability measurement and modeling for large commercial software | IEEE Journals & Magazine | IEEE Xplore