Singh, A. , Mohan, A. (2009), 'Computation of Probability Coefficients using Binary Decision Diagram and their Application in Test Vector Generation', World Academy of Science, Engineering and Technology, Open Science Index 27, International Journal of Computer and Information Engineering, 3(3), 787 - 794.