BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases. - Swadhin Kumar Barisal; Shorya Pratap Singh Chauhan; Arpita Dutta; Sangharatna Godboley; Bibhudatta Sahoo 001; Durga Prasad Mohapatra (J. King Saud Univ. Comput. Inf. Sci., 2022)