Sangharatna Godboley
Scholar

Sangharatna Godboley

Google Scholar ID: _HlGuXAAAAAJ
National Institute of Technology Warangal (NITW)
Program AnalysisSoftware TestingVerificationMC / DCConcolic Testing
Citations & Impact
All-time
Citations
374
 
H-index
11
 
i10-index
15
 
Publications
20
 
Co-authors
22
list available
Contact
No contact links provided.
Resume (English only)
Academic Achievements
  • 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