Concurrent Defects and Test Coverage Criteria. - Bidush Kumar Sahoo; Mitrabinda Ray (J. Softw., 2016)

Test Case Generation using Symbolic Execution. - Saumendra Pattnaik; Bidush Kumar Sahoo; Chhabi Rani Panigrahi; Binod Kumar Pattanayak; Bibudhendu Pati (Computación y Sistemas, 2022)