Sequential procedure for Software Reliability estimation. - Nasir Zarzour; Kamel Rekab (Appl. Math. Comput., 2021)