...

Prof. Sangharatna Godboley

PhD (National Institute of Technology Rourkela)

Assistant Professor Gr-I

Department of Computer Science and Engineering

Room No: C2-D   +91-870-2462715
sanghu@nitw.ac.in Edit Profile Bio Sketch

Research Areas

 Program Analysis, Software Testing, Verification, Fuzzing 

 Smart Contracts, Mutation Testing 

  • Courses Handled
  • Research IDs
  • Selected Publications
  • Project/Consultancy
  • Current PhD Students
  • Awards and Accolades
  • Additional Responsibilities
  • Software Engineering(CS303)
  • CASE Tools Laboratory(CS307)
  • Formal Methods in Software Engineering(CS419)
  • Software Testing(CS365)
  • Advanced Software Engineering Laboratory(CS16008)
  • Advanced Software Engineering(CS16004)
  • Software Testing Lab(CS5357)
  • Software Testing(CS5352)
  • Program Analysis and Verification(CS6319)
  • Seminar - I(CS5198)
  • Database Systems Lab(CS4355)
  • Database Systems(CS4351)
  • ORC ID: https://orcid.org/0000-0002-6169-6334
  • SCOPUS ID: http://www.scopus.com/authid/detail.url?authorId=55786515100
  • Google Scholar ID: http://scholar.google.co.in/citations?user=_HlGuXAAAAAJ


  • ROR-KLEE: ROR Adequate Test Case Generation using Dynamic Symbolic Execution, By Sangharatna Godboley, Elsevier, Journal of Systems and Software, vol., pp., 2025
  • Making effective carbon-box testing technique using prioritised-selected test cases driven combinatorial approach, By Nethravathi Rippika, Monika Rani Golla, Sangharatna Godboley, Springer India, International Journal of System Assurance Engineering and Management, vol.16, pp.1313–1338, 2025
  • SMUP: A technique to improve MC/DC using specified patterns, By Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra, Elsevier, Computers and Electrical Engineering, vol.120, Part A, pp.109706, 2024
  • Automated SC-MCC test case generation using coverage-guided fuzzing, By Monika Rani Golla, Sangharatna Godboley, Springer US, Software Quality Journal, vol., pp.1- 32, 2024
  • Automated SC-MCC test case generation using bounded model checking for safety-critical applications, By Monika Rani Golla, Sangharatna Godboley, Elsevier, Expert Systems with Applications, vol.Volume 238, Part F, pp.122033, 2024
  • Combi-FL: Neural network and SBFL based fault localization using mutation analysis, By Arpita Dutta, Saksham Sahai Srivastava, Sangharatna Godboley, Durga Prasad Mohapatra, Elsevier, Journal of Computer Languages, vol.66, pp.101064, 2021
  • Scaling modified condition/decision coverage using distributed concolic testing for Java programs, By Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra , Rajib Mall, Elsevier, Computer Standards & Interfaces, vol.59, pp.61-86, 2018
  • GECOJAP: A novel source-code preprocessing technique to improve code coverage, By Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall, Elsevier, Computer Standards & Interfaces, vol.55, pp.27-46, 2018
  • J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis, By Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall, Elsevier, Computer Standards & Interfaces , vol.50, pp.1-17, 2017
  • An improved distributed concolic testing approach, By Sangharatna Godboley, Durga Prasad Mohapatra, Avijit Das, Rajib Mall, Wiley, Software: Practices and Experiences, vol.47(2), pp.311–342, 2016

Smart Constitution: Designing, Development,and Testing of Indian Penal Code 1860 through Blockchain based Smart Contract

  • Role Principal Investigator
  • Type Research
  • Sponsor ANRF-IRG, Govt. of India
  • Duration 36 Months
  • Project Cost (INR) 3216480
  • Status Ongoing

TrustInn: Umbrella Industry Tool for Validating BlockChain System

  • Role Principal Investigator
  • Type Research
  • Sponsor CPS-DIAL, DST, IBITF, Gov. of India
  • Duration 36 Months
  • Project Cost (INR) 15958080
  • Status Ongoing

Security Analysis of Software Systems

  • Role Principal Investigator
  • Type Research
  • Sponsor Government of India
  • Duration 36 Months
  • Project Cost (INR) 238600000
  • Status Ongoing

Smart Cleaner: Automatic Clean the Smart Contract by Repairing Dead Atomic Conditions

  • Role Principal Investigator
  • Type Research
  • Sponsor PRAYAS at IBITF, Department of Science and Technology (DST)
  • Duration 36 Months
  • Project Cost (INR) 2646000
  • Status Completed

Effective Mutation Testing

  • Role Principal Investigator
  • Type Research
  • Sponsor Research Seed Money (RSM) Plan General Equipment
  • Duration 24 Months
  • Project Cost (INR) 485000
  • Status Completed


A Ashwini

  • Area of Research: Software Testing

Ajay Ramrao Sirsat

  • Area of Research: Mutant Prioritization Testing

Gandhari Manasa

  • Area of Research: Security Testing

GEEDIKANTI SRIKANTH

  • Area of Research: Programming Analysis and Software Testing

Golla Monika Rani

  • Area of Research: Program Analysis and Software Testing

Gundala Shanmukhi Rama

  • Area of Research: Software Architecture and Design Pattern

J.MARIA SHANTHI

  • Area of Research: AI Testing

M. PRASHANTH

  • Area of Research: Image Mutation Testing

Rippika Nethravathi

  • Area of Research: Program Analysis and Software Testing

Sandeep Romana

  • Area of Research: Bot Testing

SRIKANTH KAITHAPURAM

  • Area of Research: Software Quality and Reliability
  • ACM SIGSOFT CAPS AWARD
  • RAJYA PURUSKAR
  • RECOGNITION award Research Excellence IEI
  • SANDEEP MOHAPATRA MEMORIAL MEDAL IEI
  • SERB International Travel Support (ITS) Award
  • Faculty Advisor-Executive Council Entrepreneurship and Honey Bee Club (Continuing from August, 2024)
  • Professor-In-Charge, Information (Department) (Continuing from August, 2023)
  • Faculty-In-Charge, WSDC (Continuing from May, 2023)
  • Professor-In-Charge, Course Audit Committe Member (Continuing from August, 2022)