• Profile
  • Courses
  • Publications
  • Ph.D's
  • Workshops
  • Projects
  • Awards
  • Responsibility
    • faculty profile img

    Prof. Sangharatna Godboley

    Assistant Professor

    Department of Computer Science And Engineering

    National Institute of Technology, Warangal - 506004, Telangana, INDIA

    : sanghu@nitw.ac.in : 7013306805

    Degrees:

    • Postdoc    (CSE, NUS Singapore, 2020)

    • Ph. D.       (CSE, NIT Rourkela, 2017)

    • M. Tech.   (CSE, NIT Rourkela, 2013)

    • BE            (CSE, GEC Bilaspur, 2011)

     

    Professional Memberships: 

    • IEEE Member

    • ACM Member

    • IEI Associate Member

     

    Brief Bio:

             I did my M.Tech (2011-2013) and Ph.D. (2014-2017) from National Institute of Technology Rourkela, India. I worked as a Researcher (Aug 2017 - Jan 2018) in the School of Computing, National    University Singapore. I worked as a Postdoctoral Research Fellow (Feb 2018 to June 2020) in the School of Computing, National University Singapore. Currently, I am working as an Assistant Professor in the Department of Computer Science and Engineering, National Institute of Technology Warangal, India. Broadly, my area of interests are Program Analysis, Software Testing, Security, Verification, Smart Contracts. Specifically, I am working on Bounded Model Checking, Fuzzing, Dynamic Symbolic Execution (DSE), Mutation Testing, and Combinatorial Testing. I am interested in using program analysis techniques to solve the problems of software testing. I am focusing on Modified Condition / Decision Coverage (MC/DC), Short-circuit Multiple Condition Coverage (SC-MCC), and Relational Operator Replacement (ROR) Mutants. I am a team member of Tracer-X Research group (https://github.com/tracer-x).

     

    Systems/Tools Contributed:


        Tracer-X, SSG-AFL, gMCov, AV-AFL, PRFL, KLEEMA, Comp-AFL, gMutant
     

    Administrative positions:

    • Faculty-Incharge, Newsletter Institute Information Advisory Committee (IIAC), Newsletter coordinator, 01/08/2020 - Present
    • Faculty In-charge, SMILE ERP HR, Projects, Outreach Modules, 01/01/2022 - 01/05/2023
    • Faculty In-charge, WSDC Development and maintenance of softwares with a team of Students, 01/05/2023 - Present
    • Faculty In-charge, Information To gather all types of information such as contact, publication, placements, achievements, awards, etc., for the departmental and institute’s office purposes, 31/05/2023 - Present
    • Audit committee member Departmental Course Audit Committee member
    • Faculty Advisor, Advising IInd Year B.Tech CSE students  2023 - 2024
    • Faculty Advisor, Advising Ist Year B.Tech CSE students  2022 - 2023
    • Departmental Coordinator, Working in activities such as NEP, Institute Newsletter, Report, NBA, NAAC etc.,, 2020 - 2022 
    • Faculty Advisor, Advising M.Tech CSIS students, Approving stipends every months etc.,  2021 - 2022 

    Course Taught Previously
    • CS6319 Program analysis and verification Odd Sem 2023-2024 for MCA (IIIrd Year)
    • CS304 Software Engineering in Odd Sem 2020-2021, 2021-2022, 2022-2023, 2023-2024 for B.Tech (IIIrd Year).
    • CS307 CASE Tool Lab in Odd Sem 2020-2021, 2021-2022, 2022-2023, 2023-2024 for B.Tech (IIIrd Year).
    • CS365 Software Testing in Even Sem 2022-2023 for B.Tech (IIIrd Year)
    • CS7302 Software Testing in Odd Sem 2020-2021, 2021-2022, Even Sem 2022-2023 for MCA (IIIrd Year).
    • CS7304 Software Testing Lab in Odd Sem 2020-2021, 2021-2022, Even Sem 2022-2023 for MCA (IIIrd Year). 
    • CS477 Formal Methods in Software Engineering in Even Sem 2021-2022 for B.Tech (IVth Year).
    • CS477 Formal Methods in Software Engineering in Even Sem 2020-2021 for B.Tech (IVth Year).
    • CS4351 Database Systems in Even Sem 2021-2022 for MCA (Ist Year)
    • CS4355 Database Systems Lab in Even Sem 2021-2022 for MCA (Ist Year)
    • CS485 Design Patterns in Even Sem 2020-2021 for B.Tech (IVth Year).
    • CS6355 Knowledge Engineering Lab in Even Sem 2020-2021 for MCA (IInd Year).
    • CS5154 Machine Learning Lab in Even Sem 2020-2021 for M.Tech-CSE (Ist Year).
    • CS6215 Advanced Topics in Program Analysis in Spring-2018,Spring-2019,Spring-,2020 for Ph.D., (As Co-Lecturer at Dept. of CSE, School of Computing (SOC), NUS Singapore)
    • CS5218 Principles and Practice of Program Analysis in Spring-2018,Spring-2019,Spring-,2020 for MS, (As Co-Lecturer at Dept. of CSE, School of Computing (SOC), NUS Singapore)

    Publications

    Journal Publications:

    1. Monika Rani Golla, Sangharatna Godboley. "Automated SC-MCC test case generation using bounded model checking for safety-critical applications." Expert Systems with Applications, Elsevier, 2023, 122033. (SCIE, IF:8.5)
    2. Swadhin Kumar Barisal, Shorya Pratap Singh Chauhan, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra, BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases, Journal of King Saud University - Computer and Information Sciences, Elsevier, 2022 (SCIE, IF:13.473)
    3. Arpita Dutta, Saksham Sahai Srivastava, Sangharatna Godboley, and Durga Prasad Mohapatra. Combi-fl: Neural network and sbfl based fault localization using mutation analysis. Journal of Computer Languages, Elsevier, 66:101064, 2021. (SCIE, IF:1.271)
    4. Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, and Durga Prasad Mohapatra. MC/DC guided test sequence prioritization using firefly algorithm. Evol. Intell., Springer 14(1):105–118, 2021. (SCOPUS)
    5. Swadhin Kumar Barisal, Suvam Suvabrata Behera, Sangharatna Godboley, and Durga Prasad Mohapatra. Validating object-oriented software at design phase by achieving MC/DC. Int. J. Syst. Assur. Eng. Manag., Springer, 10(4):811–823, 2019.(SCOPUS) 
    6. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, and Rajib Mall. Scaling modified condition/decision coverage using distributed concolic testing for java programs. Comput. Stand. Interfaces, Elsevier, 59:61–86, 2018. (SCI, IF:2.487) 
    7. Arpita Dutta, Haripriya Kunsoth, Sangharatna Godboley, and Durga Prasad Mohapatra. Hirsa: computing hit ratio for soa-based applications through tcases. International Journal of Computational Systems Engineering, Inderscience, 4(1):23–34, 2018. 
    8. Sangharatna Godboley, Arpita Dutta, and Durga Prasad Mohapatra. Re duced energy consumption for MC/DC testing. Int. J. Bus. Inf. Syst., Inderscience, 28(4):447–467, 2018. (SCOPUS)
    9. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, and Rajib Mall. GECOJAP: A novel source-code preprocessing technique to improve code coverage. Comput. Stand. Interfaces, Elsevier, 55:27–46, 2018. (SCI, IF:2.487)
    10. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, and Rajib Mall. "J3 Model: A novel framework for improved modified condition/decision coverage analysis. Comput. Stand. Interfaces, Elsevier, 50:1–17, 2017. (SCI, IF:2.487)
    11. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, and Rajib Mall. "Green-J3 Model: a novel approach to measure energy consumption of modified condition/decision coverage using concolic testing." CSI Transactions on ICT, Springer, 5, no. 3 (2017): 217-233.
    12. Sangharatna Godboley, Arpita Dutta, and Durga Prasad Mohapatra. Green DRCT: measuring energy consumption of an enhanced branch coverage and modified condition/decision coverage technique. Int. J. Knowl. Discov. Bioinform., IGI Global, 7(1):14–29, 2017.
    13. Sangharatna Godboley, Durga Prasad Mohapatra, Avijit Das, and Rajib Mall. An improved distributed concolic testing approach. Softw. Pract. Exp., John Wiley & Sons Ltd, 47(2):311–342, 2017. (SCIE, IF:2.028) 
    14. Sangharatna Godboley, Subhrakanta Panda, Arpita Dutta, and Durga Prasad Mohapatra. An automated analysis of the branch cover age and energy consumption using concolic testing. Arabian Journal for Science and Engineering, Springer, 42(2):619–637, 2017. (SCIE, IF:2.468)  
    15. Srijan Das, Arpita Dutta, Saurav Sharma, and Sangharatna Godboley. A comparative analysis of a novel anomaly detection algorithm with neural networks. Int. J. Rough Sets Data Anal.,IGI Global, 4(4):1–16, 2017. 
    16. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Avijit Das, and Rajib Mall. Making a concolic tester achieve increased MC/DC. Innov. Syst. Softw. Eng., 12(4):319–332, 2016.(SCOPUS) 
    17. Sangharatna Godboley and Durga Prasad Mohapatra. Analysis of mc/dc coverage percentage and cyclometic complexity for structured c programs. International Journal of Computer & Mathematical Sciences ISSN 2347 – 8527, 2(1), 2014. 
    18. Sangharatna Godboley and Durga Prasad Mohapatra. Experimental study for the exclusive-nor code transformer. International Journal of Innovations & Advancement in Computer Science, 2(1):57–65, 2014. 
    19. Sangharatna Godboley, Avijit Das, Kuleshwar Sahu, Durga Prasad Moha patra, and Banshidhar Majhi. Measuring coverage percentage for c pro grams using code slicer and crest tool. International Journal of Advanced Computer Research, 3(3):64, 2013. 
    20. Sangharatna Godboley, Adepu Sridhar, Bhupendra Kharpuse, Durga Prasad Mohapatra, and Banshidhar Majhi. "Generation of branch coverage test data for simulink/stateflow models using crest tool." International Journal of Advanced Computer Research 3, no. 4, p: 222 2013.

     

    Conference Publications:

    1. Sangharatna Godboley - An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results, IEEE 20th India Council International Conference (INDICON), 2023.
    2. Sangharatna Godboley, Radha Krishna Pisipati, Gaurav Raj - Study on Unknown Bugs for Smart Contracts using Echidna, IEEE 20th India Council International Conference (INDICON), 2023.
    3. Sangharatna Godboley, Radha Krishna Pisipati, Sai Naik T. Venkat, Lakshita Choudhary - An Efficient Energy Consumption of a Miner Node in a Local Blockchain Network, IEEE 20th India Council International Conference (INDICON), 2023.
    4. Sangharatna Godboley, Monika Rani Golla, P. Radha Krishna - SC-MCC: A Stronger Code Coverage Criterion, 23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023), Chiang Mai, Thailand, 2023.(Core-C)
    5. Sangharatna Godboley, Shubhank Kulshreshtha, Prayanshu Agarwal, B Ranilbala - PRCMHFL: A Fault Localization Technique based on Predicate Ranking and CMH method, 23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023), Chiang Mai, Thailand, 2023. (Core-C)
    6. Sangharatna Godboley, P. Radha Krishna, Aditya Joshi, Ishita Gupta, Rahul Khatav - Smart Contract Test Case Prioritization based on Frequency and Gas Consumption, 23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023), Chiang Mai, Thailand, 2023. (Core-C)
    7. Sangharatna Godboley - VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, Prague, Czech Republic, 2023. (Core-B)
    8. Sangharatna Godboley, G. Rani, S. Nenavath - Carbon-Box Testing, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, Prague, Czech Republic, 2023.(Core-B)
    9. Sangharatna Godboley, P. Radha Krishna - SmartMuVerf: A Mutant Verifier for Smart Contracts, 18th International conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023), Prague, Czech Republic, 2023.(Core-B)
    10. Sangharatna Godboley, Debasish Dalei, Ravichandra Sadam, Durga Prasad Mohapatra - Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool, Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23), Association for Computing Machinery, 2023. (Core-B)
    11. Monika Rani Golla, Sangharatna Godboley - GMutant: A gCov based Mutation Testing Analyser, Proceedings of the 16th Innovations in Software Engineering Conference (ISEC '23), Association for Computing Machinery, 2023.
    12. R. Dharanappagoudar, P. Gupta, Sangharatna Godboley - CMHFL: A new Fault Localization technique based on Cochran–Mantel–Haenszel method, IEEE 19th India Council International Conference (INDICON) 2022, 2022.
    13. Sangharatna Godboley, Shantanu Agarwal, P. Radha Krishna - Cyclomatic Complexity Analyst for Smart Contract Using Control Flow Graph, International Conference on Computing, Communication and Learning (COCOLE), 2022. 
    14. Sangharatna Godboley, Arpita Dutta, Radha Krishna Pisipati, and Durga Prasad Mohapatra, SSG-AFL: Vulnerability Detection for Reactive Systems using Static Seed Generator Based AFL, STPSA - Security, Trust, and Privacy for Software Applications, IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) 2022 (Core-B)
    15. Golla Monika Rani and Sangharatna Godboley, Poster: A gCov based new profiler, gMCov, for  MC/DC and SC-MCC, 15th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2022 (Core-A)
    16. Sangharatna Godboley.; Kanika Gupta, and Golla Monika Rani AV-AFL: A Vulnerability Detection Fuzzing Approach by Proving Non-reachable Vulnerabilities using Sound Static Analyser. 17th Evaluation of Novel Approaches to Software Engineering (ENASE) 2022. (Core-B)
    17. Sangharatna Godboley, Durga Prasad Mohapatra, Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique, International Conference on Lean and Agile Software Development LASD 2022: pp 150-169 
    18. Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra, Agility Based Coverage Improvement, International Conference on Lean and Agile Software Development LASD 2022: pp 170-186 
    19. Sangharatna Godboley and Arpita Dutta, PRFL: Predicate Rank based Fault Localization, 18th IEEE India Council International Conference (INDICON) 2021, IIT Guwahati, India,  19-21 December, 2021. 
    20. Sangharatna Godboley, Golla Monika Rani, Arpita Dutta, KLEEMA: A DSE based Mutation Analyser, In POSTER track at 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021 (Core-A)
    21. Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta, Toward Optimal MC/DC Test Case Generation. In POSTER track at 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021 (Core-A)
    22. Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta, "Toward Optimal MC/DC Test Case Generation" Received all three ACM badges  **Artifact Available, Functional, and Reusable Badges** in Artifact Evaluation track at 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2021 (Core-A) 
    23. Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, and Arpita Duftta. Toward optimal mc/dc test case generation. In Cristian Cadar and Xiangyu Zhang, editors, ISSTA ’21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, Denmark, July 11-17, 2021, pages 505–516. ACM, 2021 (Core-A)
    24. Sangharatna Godboley, Monika Rani Golla, Arpita Dutta, The KLEEMA Prototype. 2nd KLEE Workshop London, 2021.
    25. Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha. "TracerX: Dynamic Symbolic Execution with Interpolation", 2nd KLEE Workshop London, 2021 
    26. Sangharatna Godboley and Arpita Dutta. Dy-copeca: A dynamic version of MC/DC analyzer for C program. In Raian Ali, Hermann Kaindl, and Leszek A. Maciaszek, editors, Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2021, Online Streaming, April 26-27, 2021, pages 197–204. SCITEPRESS, 2021. (Core-B)
    27. Arpita Dutta and Sangharatna Godboley. MSFL: A model for fault localization using mutation-spectra technique. In Adam Przybylek, Jakub Miler, Alexander Poth, and Andreas Riel, editors, Lean and Agile Software Development - 5th International Conference, LASD 2021, Virtual Event, January 23, 2021, Proceedings, volume 408 of Lecture Notes in Business Information Processing, pages 156–173. Springer, 2021. (Best Paper Award)
    28. Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, and Xuan-Linh Ha. Tracerx: Dynamic symbolic execution with interpolation. CoRR, abs/2012.00556, 2020. 
    29. Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, and Xuan-Linh Ha. Tracerx: Dynamic symbolic execution with interpolation (competition contribution). In Heike Wehrheim and Jordi Cabot, editors, Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, volume 12076 of Lecture Notes in Computer Science, pages 530–534. Springer, 2020. (Core-B) 
    30. Joxan Jaffar, Sangharatna Godboley, and Rasool Maghareh. Optimal MC/DC test case generation. In Joanne M. Atlee, Tevfik Bultan, and Jon Whittle, editors, Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pages 288–289. IEEE / ACM, 2019. (Core-A*)
    31. Arpita Dutta, Shubham Kumar, and Sangharatna Godboley. Enhancing test cases generated by concolic testing. In Ravindra Naik, Santonu Sarkar, Thomas T. Hildebrandt, Atul Kumar, and Richa Sharma, editors, Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), ISEC 2019, Pune, India, February 14-16, 2019, pages 11:1–11:11. ACM, 2019. 
    32. Arpita Dutta, Sangharatna Godboley, and Durga Prasad Mohapatra. An efficient code coverage technique for uml statechart diagram. In 2017 14th IEEE India Council International Conference (INDICON), pages 1–6. IEEE, 2017. 
    33. Arpita Dutta, Sangharatna Godboley, and DP Mohapatra. Measuring hit ratio metric for soa-based application using black-box testing. In Computational Intelligence in Data Mining, pages 591–599. Springer, Singapore, 2017. 
    34. Arpita Dutta, Sangharatna Godboley, and DP Mohapatra. Memosa: Mea suring mc/dc of soa applications using concolic testing. In 2017 14th IEEE India Council International Conference (INDICON), pages 1–6. IEEE, 2017.
    35. Arpita Dutta, Sangharatna Godboley, and DP Mohapatra. Measuring branch coverage for the soa based application using concolic testing. In International Conference on Advances in Computing and Data Sciences, pages 165–172. Springer, Singapore, 2016. 
    36. Arpita Dutta, Sangharatna Godboley, and Durga Prasad Mohapatra. Colt: Extending concolic testing to measure lcsaj coverage. In 2016 IEEE Region 10 Conference (TENCON), pages 373–378. IEEE, 2016. (Core-C)
    37. Sangharatna Godboley, Arpita Dutta, Avijit Das, and Durga Prasad Mo hapatra. Measuring mc/dc at design phase using uml sequence diagram and concolic testing. In 2016 IEEE Annual India Conference (INDICON), pages 1–6. IEEE, 2016. 
    38. Sangharatna Godboley, Arpita Dutta, and Durga Prasad Mohapatra. Java hct: An approach to increase MC/DC using hybrid concolic testing for java programs. In Maria Ganzha, Leszek A. Maciaszek, and Marcin Paprzycki, editors, Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, Gdansk, Poland, September 11-14, 2016, volume 8 of Annals of Computer Science and Information Systems, pages 1709–1713. IEEE, 2016. (Core-B)
    39. Sangharatna Godboley, Arpita Dutta, Bhagyashree Besra, and Durga Prasad Mohapatra. Green-jexj: A new tool to measure energy consumption of improved concolic testing. In 2015 international conference on green computing and internet of things (ICGCIoT), pages 36–41. IEEE, 2015. (Best Paper Award) 
    40. Sangharatna Godboley, Subhrakanta Panda, and Durga Prasad Mohapatra. SMCDCT: A framework for automated MC/DC test case generation using distributed concolic testing. In Raja Natarajan, Gautam Barua, and Manas Ranjan Patra, editors, Distributed Computing and Internet Technology - 11th International Conference, ICDCIT 2015, Bhubaneswar, India, February 5-8, 2015. Proceedings, volume 8956 of Lecture Notes in Computer Science, pages 199–202. Springer, 2015.(Core-C)
    41. Sangharatna Godboley, Arun Sahani, and Durga Prasad Mohapatra. ABCE: A novel framework for improved branch coverage analysis. In Proceedings of the 2015 International Conference on Soft Computing and Software Engineering, SCSE’15, Berkeley, CA, USA, March 5-6, 2015, volume 62 of Procedia Computer Science, pages 266–273. Elsevier, 2015. 
    42. Kuleshwar Sahu, Sangharatna Godboley, and S. K. Jain. HCDLST: an indexing technique for current and recent-past sliding window spatio temporal data. In Durga Prasad Mohapatra and Srikanta Patnaik, editors, Intelligent Computing, Networking, and Informatics, Proceedings of the International Conference on Advanced Computing, Networking, and Informatics, ICACNI 2013, Raipur, Chhattisgarh, India, 12-14 June 2013, volume 243 of Advances in Intelligent Systems and Computing, pages 947– 954. Springer, 2013.
    43. Sangharatna Godboley and Durga Prasad Mohapatra. Time analysis of evaluating coverage percentage for c program using advanced program code transformer. In 7 th CSI International Conference on Software Engineering, pages 91–97. 7 th CSI CONSEG, 2013. 
    44. Sangharatna Godboley, GS Prashanth, Durga Prasad Mohapatra, and Bansidhar Majhi. Enhanced modified condition/decision coverage using exclusive-nor code transformer. In 2013 International Mutli-Conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s), pages 524–531. IEEE, 2013. 
    45. Sangharatna Godboley, GS Prashanth, Durga Prasad Mohapatro, and Ban sidhar Majhi. Increase in modified condition/decision coverage using program code transformer. In 2013 3rd IEEE International Advance Computing Conference (IACC), pages 1400–1407. IEEE, 2013.  

    PHDs Supervised

    PHDs Supervising/Supervised

    1. Ms. Golla Monika Rani, Ph.D. Scholar (Full Time), Area: Automatic Test Case Generation for Short-Circuit Multiple Condition Coverage (SC-MCC) (On-going) 

    2. Ms.  Gundala Shanmukhi Rama, Ph.D. Scholar (Part Time), Area: Software Design and Architecture (Co-Supervisor: Dr. S. Ravichandra) (On-going)

    3. Mr.  Sravan Rentala, Ph.D. Scholar (Part Time), Area: Combinatorial Testing (On-going) 

     

    PGs Supervising/Supervised

    1. Ms. Sindhu Nenavath, M.Tech Student, Title: Improved Combinatorial Testing. (Class of 2019-2021)  (Completed)

    2. Mr. Anand Vijay, MCA Student, Title: Testing of Smart Contracts. (Class of 2018-2021) (Completed)

    3. Mr. Swapnil Gupta, MCA Student, Title: Violence Detection for Smart Surveillence System  (Class of 2020 - 2021) (Completed)

    4. Ms. Kanika Gupta, M.Tech Student, Title: Vulnerability detection analysis using Complete Fuzzing. (Class of 2020-2022) (Completed)

    5. Mr. Chandra Shekhar Joshi, MCA Student, Title: Finding Contradictory Statements in E-Contracts (Class of 2019 - 2022) (Co-Supervisor: Prof. P. Radha Krishna) (Completed)

    6.  Mr. Debasish Dalei, MCA Student, Title:  Mobile App Coverage Using Appium Tool (Class of 2019 - 2022) (Completed)

    7.  Mr. Akshay kumar, MCA Student, Title: Reporting Code Coverage at Requirement Phase using SPIN Model Checker (Class of 2019 - 2022) (Completed)

    8.  Mr. Himanshu Chaudhary, MCA Student, Title: Code Coverage Analysis and Repairing of Smart Contract (Class of 2019 - 2022) (Main-Supervisor: Prof. P. Radha Krishna) (Completed)

    9.  Mr. Shantanu Agarwal, MCA Student, Title: Cyclomatic Complexity Analyst for Smart Contract Using Control Flow Graph (Class of 2019 - 2022) (Main-Supervisor: Prof. P. Radha Krishna) (Completed)

    10. Mr. Bikash Singha, M.Tech Student, Title: UMask-AFL: Towards Complete Fuzzing By Unmasking All Reachable Targets (Class of 2022-2023) (Completed)

    11. Mr. Ritesh Kumar Jha, M.Tech Student, Title: Code Coverage Analysis for Structured Text-Based Programmable Logic Controller (Class of 2022-2023) (Completed)

    12. Mr. Mahendra Singh Bora, MCA Student, Title: Image Mutation Testing using Fuzzing. (Class of 2022-2023) (Completed)

    13. Ms. Bhawana, MCA Student, Title: Prioritization of Mutants in Mutation Testing. (Class of 2022-2023) (Completed)

    14. Mr. Darshan Anil Lohiya, M.Tech Student, Title: gptFuzz: Automatic Good Seed Generation using Large Language  Model (LLM) for Fuzzing (Class of 2023-2024) (Ongoing)

     

    UGs Supervising/Supervised

    1. Mr. Jaswant Meghwal, Mr. Neeraj Kumar Gond, Mr. Nikhil Kumar, Title: CRG: Condition Rank Generator for Program Repair (Class of 2017-2021) (Completed)

    2. Mr. Aryan Armo, Mr. Kapil Khandelwal, Mr. Sameer Jhariya, Title: Using MC/DC to eliminate the Duplicate Neurons in automatic DNN-driven Testing for Autonomous Cars (Class of 2017-2021) (Completed)

    3. Mr. Rutwik Dharanappagoudar, Mr. Palash Gupta, Mr. Aniketh Satharla, Title: Cochran–Mantel–Haenszel test-based approach for Fault Localization (Class of 2018-2022) (Completed)

    4. Mr. Gaurav Singh, Mr. Pradyumn Atul Shukla, Mr. Rohit Kumar, Title: Measuring Condition Coverage Smart Contracts using Smart Fuzzer (Class of 2018-2022) (Completed)

    5. Mr. Shubhank Kulshreshtha, Mr. Prayanshu Agrawal, Mr. B Ranilbala, Title: PRCMHFL: A Fault Localization technique based on Predicate Ranking and CMH method (Class of 2019-2023) (Completed)

    6. Mr. T. Venkat Sai Naik, Ms. Lakshita Choudhary, Ms. Bhoomika Chavan, Title: Energy Consumption & Smart Contracts (Co-Supervisor: Prof. P. Radha Krishna) (Class of 2019-2023) (Completed)

    7. Mr. Ishita Gupta, Mr. Rahul Khatav, Mr. Aditya Joshi, Title: Frameworks for Effective Verification and Validation of Smart Contracts (Class of 2019-2023) (Main-Supervisor: Prof. P. Radha Krishna)(Completed)

    8. Mr. Sayantan Deb, Mr. Ishan Joshi, Mr. Sanuj Shende, Title: Code Coverage Analysis and Repairing of Smart Contracts with Deployment (Main-Supervisor: Prof. P. Radha Krishna) (Class of 2019-2023) (Completed)

     

     

    Workshops/Conferences

    List of Conferences/STCs / Workshops / Tutorials Organized

    1. Proceedings Chair and Program Committee Members- Research Track, 17th Innovations in Software Engineering Conference ISEC 2024, 23 - 25 February, IIIT Bengluru, India
    2. Organizing Secretary, Publication Chair, and Technical Programme Track Chair, 20th India Council International Conference (INDICON) - 2023, IEEE Hyderabad Section & National Institute of Technology Warangal
    3. Program Committee, LASD@SAC'23 Track on Lean and Agile Software Development at the 38th ACM/SIGAPP Symposium On Applied Computing, March 27 - March 31, 2023, Tallinn, Estonia
    4. Program Committee, 24th Conference on Practical Aspects of and Solutions for Software Engineering (KKIO 2023; https://fedcsis.org/sessions/s3e/kkio) as a part of the FedCSIS multiconference (CORE B), September 17-20, 2023, in Warsaw, Poland
    5. Web-Chair, 41ST INTERNATIONAL CONFERENCE ON CONCEPTUAL MODELING, 17-20 October 2022 (ER-2022) (Core-A)
    6. Program Committee, 5th annual COMPUTE conference at Manipal University Jaipur, Jaipur, India, from November 9 - 11, 2022
    7. Program Committee Members- Research Track, 16th Innovations in Software Engineering Conference ISEC 2023, 23 - 25 February, IIIT Allahabad, Prayagraj, Uttar Pradesh, India
    8. National Advisory Committee, International Conference on Innovations in Engineering, Technology, Science & Management (ICIETSM-2023), Nagpur
    9. Organizing Secretary, 2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2023)
    10. Coordinator, Application of Machine Learning to Software Engineering, School of Computer Engineering, KIIT deemed to be University, Bhubaneswar, Orissa, Dept. of CSE, NIT Warangal, with E&ICT, 2021.
    11. Web Chair, 40th International Conference on Conceptual Modeling (ER)-2022
    12. Virtual Conference Management Chair, 15th Innovations in Software Engineering Conference (ISEC-2022)
    13. Publicity Chair, International Conference on Advances in Distributed Computing and Machine Learning (ICADCML), 2022. 
    14. Publicity Chair, ACM COMPUTE-2021.
    15. Convener, Short Term Course on Software Testing Tools (STT), Dept. of CSE and CCE, NITW  2021.
    16. Coordinator, Python Boot Camp (2021)
    17. Virtual Conference Management Chair, 14th Innovations in Software Engineering Conference (ISEC-2021)
    18. Publicity Chair, 14th Innovations in Software Engineering Conference (ISEC-2021)
    19. Artifact Evaluation Committee, 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021)
    20. Convener, 13th Recent Trends in Software Testing (RTST-2020)
    21. Co-Organizing Chair, Special Session Conference, Recent Advances in Program Analysis and Software Testing (RAPAST-2019) co-located with TENCON2019,  Kochi,  Kerala, 17th-20th Oct 2019

    Projects

    Grants

    1. Dr. Sangharatna Godboley, PI ,``Smart Cleaner: Automatic Clean the Smart Contract by Repairing Dead Atomic Conditions", PRAYAS at IBITF, Department of \& Science and Technology (DST), 10/03/2022 - Ongoing, Rs. 26.46 Lakhs, (Co-PI: Prof. P. Radha Krishna)
    2. Dr.  Sangharatna Godboley, PI ,``Effective Mutation Testing", Research Seed Money (RSM) Plan General Equipment, 17/11/2020 - Ongoing, Rs. 4.8 Lakhs

     

    Startup Company

    NITMINER TECHNOLOGIES PRIVATE LIMITED,

    CIN: U72900CT2022PTC013375, Since 24/06/2022,

    Dr. Sangharatna Godboley, Founder & Director 
    Prof. P. Radha krishna, Co-Founder & Director

    Awards and Honors

     

    S.No

    Name of Award

    Awarding Agency

    Year

    1

    RECOGNITION award in the Research Excellence (Teaching Faculty-National) category

    IEI NMLC FCRIT Excellence Awards 2023, Institution of Engineers (India) [IEI]

    2023

    3

    SERB International Travel Support (ITS) Award

    Science and Engineering Research Board (SERB)

    2023

    4

    BEST PAPER Award

    LASD, Springer

    2022

    5

    BEST PAPER Award

    LASD, Springer

    2021

    6

    SANDEEP MOHAPATRA MEMORIAL MEDAL

    The Institute of Engineers (India), 58th Technical Annual Session,

    2016

    7

    IEEE BRAND AMBASSADOR title

    IEEE

    2018

    8

    Foreign Travel Award (INR 20000)

    NITRAA and NITROAA

    2017

    9

    Foreign Travel Award (INR 20000)

    CICS, Chennai

    2016

    10

    BEST PAPER Award

    IEEE ICGCIoT-15, Galgotia University, Noida, New Delhi, U.P

    2015

    11

    "RAJYA PURUSKAR"

    SCOUT, K.V.SANGHATAN, Bhopal Region

    2004

     

    Additional Responsibility

    Member BOS: 

              1. Board of Studies (BoS) Member , Department of Data Science, G H Raisoni Institute of Engineering and Technology, Nagpur. (From July 2021).

              2.  Board of Studies (BoS) Member , G H Raisoni Institute of Business Management, Jalgaon, Maharashtra. (From Janunary 2021) 

     

    Talks/Tutorials:

    1. Sangharatna Godboley, A tutorial session on EXTRACTION OF DEAD ATOMIC CONDITIONS FOR SMART CONTRACTS, Tutorial, 15th Innovations in Software Engineering Conference (ISEC), 2022.
    2. Sangharatna Godboley, Protecting Software Vulnerabilities from Hackers Using Fuzzing, ICMMIT-2022. AMITY-RANCHI
    3. Sangharatna Godboley, Verifying Reactive Systems via Symbolic Execution with Incremental Deepening, Software Engineering Research in India (SERI), IIT Ropar, 2021.
    4. Sangharatna Godboley, A tutorial session on Tracer-X, Tutorial, 14th Innovations in Software Engineering Conference (ISEC), 2021.
    5. Sangharatna Godboley, Machine Learning for Fault Localization, GHRIBM Jalgaon, 2021
    6. Sangharatna Godboley, MEFL: A hybrid approach for Fault Localization using Mutation-Ensemble technique, IIEST Shibpur, 2021
    7. Sangharatna Godboley, Software Testing Methodologies, BIET Hyderabad, 2021
    8. Sangharatna Godboley, Introduction to Software Testing, GHRIET Nagpur, 2021
    9. Sangharatna Godboley, Graph Theory, Department of Data Science, GHRIET Nagpur, 2021 
    10. Sangharatna Godboley, Graph Theory, Department of Computer Science and Engineering, GHRIET Nagpur, 2021 
    11. Sangharatna Godboley, MEFL: A hybrid approach for Fault Localization using Mutation-Ensemble technique, Artificial Intelligence Applications in Software Engineering, E&ICT academy, NIT Warangal, 2021 
    12. Sangharatna Godboley, Protecting Software Vulnerabilities from Hackers Using Fuzzing, Artificial Intelligence Applications in Software Engineering, E&ICT academy, NIT Warangal, 2021
    13. Sangharatna Godboley, SQL in Python, Python for scientific computing, E&ICT academy, NIT Warangal, 2021
    14. Sangharatna Godboley,Testing of Smart Contracts, AICTE Training and learning (ATAL) academy sponsored Five-day Online Faculty Development Program on Emerging Techniques and Applications in IOT, Veer Surendra Sai University of Technology, Burla 2021
    15. Sangharatna Godboley, Testing of Smart Contracts Department of Computer Science and Engineering, GIET University, Gunupur, E & ICT FDP on Convergence of AI, ML, and DS for Engineering Applications, 2021 
    16. Sangharatna Godboley, MEFL: A hybrid approach for Fault Localization using Mutation-Ensemble technique, Department of Computer Science and Engineering, GIET University, Gunupur, E & ICT FDP on Convergence of AI, ML, and DS for Engineering Applications, 2021 
    17. Sangharatna Godboley, MEFL: A hybrid approach for Fault Localization using Mutation-Ensemble technique, E & ICT FDP on AI and ML, NITW, 2021
    18. Sangharatna Godboley,  Optimal MC/DC Test Case Generation, Software Engineering Research in India (SERI), IIIT Hyderabad, 2020.
    19. Sangharatna Godboley, Program Analysis and Testing, IEEE Computer Society Student Branch Chapter IIT Kharagpur, 2020.
    20. Sangharatna Godboley, Optimal MC/DC Test Case Generation, PLV seminar, SOC, NUS Singapore, 2020.
    21. Sangharatna Godboley, Program Analysis & Testing, St. John College of Engineering and Management, Palghar, 2020
    22. Sangharatna Godboley, Graphics Algorithms for Drawing Circle in any Quadrant along with ellipse generation, GHRIET Nagpur, 2020   
    23. Sangharatna Godboley, Graph Terminologies and Traversals, GHRIET Nagpur, 2020
    24. Sangharatna Godboley, Structural Design Pattern and its types, GHRIET Nagpur, 2020
    25. Sangharatna Godboley, Protecting Software Vulnerabilities from Hackers Using Fuzzing, TEQIP-3 Sponsored One Week National Workshop on Offensive and Defensive Aspects of Cyber Security, PMEC, 2020