Published multiple papers in international journals such as Journal of Systems and Software, Expert Systems with Applications, Software Quality Journal, and Computers and Electrical Engineering
Notable publications include: 'ROR-KLEE: ROR Adequate Test Case Generation using Dynamic Symbolic Execution' (2025)
'Automated SC-MCC test case generation using bounded model checking for safety-critical applications' (2024)
'SMUP: A technique to improve MC/DC using specified patterns' (2024)
'BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases' (2022)
'Combi-FL: Neural network and SBFL based fault localization using mutation analysis' (2021)
Maintains academic profiles on ORCID, Scopus, and Google Scholar