Validity of Execution-Time Theory of Software Reliability | IEEE Journals & Magazine | IEEE Xplore