Controlled sequential bifurcation for software reliability study.