Kai-Yuan Cai, Yong-Chao Li, Ke Liu: Optimal and adaptive testing for software reliability assessment. Inf. Softw. Technol. 46(15): 989-1000 (2004)