Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion