This work was supported by the National Natural Science Foundation of China (Grant Nos.60233020, 60474006 and 60473067). Acknowledgment The experimental results presented in this paper were obtained with the help of many students of the author, including Bo Gu, Hal Hu, ChangHai Jiang, Xiao-Feng Lei, Yan Shi, and Bei-Bei Yin.
This paper classifies software researches as theoretical researches, experimental researches, and engineering researches, and is mainly concerned with the experimental researches with focus on software reliability exp...