Information
Key Notes
- Journal(s): 14
- Conference(s): 53
- Text Book(s): 4
- PhD: Current - 13 Awarded - 1
- PDF: Guided - 3
- Event(s) Organized: Conference - 13 Workshop - 4
71
PUBLICATIONS14
DOCTORAL STUDENTS6
PROJECTSResearch Areas
Fuzzing
Mutation Testing
Program Analysis
Smart Contracts
Software Testing
Verification
EDUCATION QUALIFICATION
| Degree | Institute | Year |
|---|---|---|
| Post-Doctoral Fellow | National University of Singapore | 2020 |
| Doctor of Philosophy | National Institute of Technology Rourkela | 2017 |
| Master of Technology | National Institute of Technology Rourkela | 2013 |
| Bachelor of Engineering | Government Engineering College Bilaspur | 2011 |
COURSES HANDLED
| Course | L-T-P | Credit | Degree Level |
|---|---|---|---|
| Software Testing(CS1331) | 3-0-0 | 3 | UG |
| Software Engineering(CS2301) | 3-0-2 | 4 | UG |
| Integral Calculus and Transforms(MA187) | 3-0-0 | 3 | UG |
| Formal Methods in Software Engineering(CS419) | 3-0-0 | 3 | UG |
| Software Engineering(CS303) | 3-0-0 | 3 | UG |
| Deep Learning(CS401) | 3-0-0 | 3 | UG |
| Software Testing(CS37002) | 3-0-2 | 4 | PG |
| Software Engineering(CS1204) | 3-0-2 | 4 | UG |
| Software Testing(CS5352) | 3-0-0 | 3 | PG |
| Advanced Software Engineering(CS16004) | 3-0-0 | 3 | PG |
| Software Testing(CS365) | 3-0-0 | 3 | UG |
| Program Analysis and Verification(CS6319) | 3-0-0 | 3 | PG |
| Database Systems(CS4351) | 3-0-0 | 3 | PG |
RESEARCH IDs
ORC ID
SCOPUS ID
Google Scholar ID
PUBLICATIONS
Journal(s)
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
ROR-DSE: ROR adequate test case generation using dynamic symbolic execution,
By Sangharatna Godboley,
Elsevier,
Journal of Systems and Software,
vol.230,
pp.112511,
2025
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
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
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
BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases,
By Swadhin Kumar Barisal, Shorya Pratap Singh Chauhan, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra,
Elsevier,
Journal of King Saud University - Computer and Information Sciences,
vol.Volume 34, Issue 10, Part B,
pp.9757-9776,
2022
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
MC/DC guided test sequence prioritization using firefly algorithm,
By Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, and Durga Prasad Mohapatra,
Springer,
Evolutionary Intelligence,
vol.14,
pp.105–118,
2021
Validating object-oriented software at design phase by achieving MC/DC,
By Swadhin Kumar Barisal, Suvam Suvabrata Behera, Sangharatna Godboley, Durga Prasad Mohapatra ,
Springer,
International Journal of System Assurance Engineering and Management,
vol.10,
pp.811–823,
2019
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
An Automated Analysis of the Branch Coverage and Energy Consumption Using Concolic Testing,
By Sangharatna Godboley, Subhrakanta Panda, Arpita Dutta & Durga Prasad Mohapatra ,
Springer,
Arabian Journal for Science and Engineering - Computer Engineering and Computer Science,
vol.42,
pp.619–637,
2017
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
Conference(s)
Towards Reliable Task-Based Chatbots: Coverage, Mutation, and Repair
By Sandeep Romana, Sangharatna Godboley,
19th Innovations in Software Engineering Conference (ISEC '26),
2026
Mutation Testing–Based Analysis of QR Code Decoder Robustness Under Structured Module Modifications
By Prashanth Mandha, Nethravathi Rippika, Rakesh Meeyalkar, Sangharatna Godboley, P. Radha Krishna,
19th Innovations in Software Engineering Conference (ISEC '26),
2026
A Data-Driven Framework for Evaluating Mobile UI Usability through Interaction Elements and Design Semantics
By Gundala Shanmukhi Rama, Sangharatna Godboley, RAVICHANDRA SADAM,
19th Innovations in Software Engineering Conference (ISEC '26),
2026
kS-LLM: k-Step based Automatic LLM Test Case Generator using Caching Mechanism to Achieve Higher Code Coverage
By Anand Sharma, VIVEK YELLETI, Sangharatna Godboley, P. Radha Krishna,
19th Innovations in Software Engineering Conference (ISEC '26),
2026
cfgLLM: Automated assistance for software requirements using multi-LLM Fusion Agentic Framework
By Chigilipalli Lohit Aryan Chakravarthi, VIVEK YELLETI, Sangharatna Godboley, P. Radha Krishna,
19th Innovations in Software Engineering Conference (ISEC '26),
2026
QGMR: A new Quantum Mutation Testing operator
By Sanskar Shah, Sangharatna Godboley and Radha Krishna Pisipati,
9th Workshop on Validation, Analysis and Evolution of Software Tests (VST-2026) co-located with the 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering (Core A),
2026
Comp-AFL: Towards Complete Fuzzing
By Sangharatna Godboley, Kanika Gupta, Monika Rani Golla and Radha Krishna Pisipati,
10th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS) 2026, 19th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2026 (Core A),
2026
SLS-Fuzz: Large Language Model based Self Learned Seeder for efficient Fuzzing
By Sangharatna Godboley, Darshan Lohiya, Monika Rani Golla and Radha Krishna Pisipati,
Agentic AI in Software Testing and Automation (ASTA) 2026, 19th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2026 (Core A),
2026
KSERESNET at the ICST 2026 Tool Competition – Self-Driving Car Testing Track
By Vishal Kumar Swain, Sangharatna Godboley, P. Radha Krishna,
19th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2026 (Core A),
2026
Comparative Study of Human and Machine level prompts for LLM driven software testing
By Anand Sharma, VIVEK YELLETI, Sangharatna Godboley, P. Radha Krishna,
19th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2026 (Core A),
2026
Estimating the Carbon Footprint of Free-to-Use Hosted Large Language Models
By Eti Dhanush, Shrilakshmi Kakati, Vadlamani Venkata Nagamani, Dara Deepthi, Sangharatna Godboley, P. Radha Krishna,
19th Innovations in Software Engineering Conference (ISEC '26),
2026
An Integrated Approach to Hybrid Fuzz–Combinatorial and Structured Testcase Generation for Improved Coverage and Fault Detection Efficiency
By Nethravathi Rippika, Sangharatna Godboley,
19th Innovations in Software Engineering Conference (ISEC '26),
2026
Poster: Reporting Unique-Cause MC/DC Score using Formal Verification
By Monika Rani Golla, Sangharatna Godboley, Avijit Das, P. Radha Krishna,
18th IEEE Conference on Software Testing, Verification and Validation (ICST 2025), (Core A) ,
2025
Validation Framework for E-Contract and Smart Contract,
By Sangharatna Godboley, P Radha Krishna, Sunkara Sri Harika, Pooja Varnam
,
29th International Conference on Evaluation and Assessment in Software Engineering (EASE), (Core A),
2025
Poster: Empirical Evaluation of SC-MCC Meta Program Efficiency using Dynamic Symbolic Execution Engine
By Monika Rani Golla, Sangharatna Godboley
,
18th IEEE Conference on Software Testing, Verification and Validation (ICST 2025), (Core A),
2025
Automated SC-MCC Test Case Generation using Coverage Guided Fuzzing,
By Monika Rani Golla, Sangharatna Godboley,
18th IEEE Conference on Software Testing, Verification and Validation (ICST 2025), Journal First Track, (Core A),
2025
Sol-Repairer: Solidity Smart Contract Dead Code Repairer,
By Sangharatna Godboley, P. Radha Krishna
,
18th Innovations in Software Engineering Conference (ISEC '25), ,
2025
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving (Competition Contribution).
By Wei, C., Wu, T., Sa Menezes, R., Shmarov, F., Aljaafari, F., Godboley, S., Alshmrany, K., de Freitas, R., Cordeiro, L. C.
,
28th International Conference on Fundamental Approaches to Software Engineering,
2025
VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods
By Wei, C., Cai, S., Charalambous, Y., Wu, T., Godboley, S. and Cordeiro, L.,
In 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) IEEE. (Core A*) Journal-First-track,
2025
Gptpromptfuzz: llm prompt engineering based seed generation for effective fuzzing
By Lohiya, D., Yelleti, V., Godboley, S. and Krishna, P.R.,
TENCON 2025 - 2025 IEEE Region 10 Conference (TENCON) (Core C),
2025
Element Based User Interaction with Design Semantics of Mobile Apps and Usability Assessment
By G. S. Rama, S. Godboley and R. Sadam,
TENCON 2025 - 2025 IEEE Region 10 Conference (TENCON) (Core C),
2025
Framework for E-Contract and Smart Contract
By Sangharatna Godboley, P Radha Krishna, Sunkara Sri Harika, Pooja Varnam,
29th International Conference on Evaluation and Assessment in Software Engineering (EASE), ACM,
2025
ROR-DSE: ROR adequate test case generation using dynamic symbolic execution
By Sangharatna Godboley,
In 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE) IEEE. (Core A*) Journal-First-track,
2025
Poster: SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines
By Golla Monika Rani, Sangharatna Godboley,
4th KLEE Workshop, 46th International Conference on Software Engineering (ICSE 2024),
2024
CC-SolBMC: Condition Coverage analysis for Smart Contracts using Solidity Bounded Model Checker
By Sangharatna Godboley, P. Radha Krishna,
19th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE-2024) (Core-B),
2024
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation
By Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley and Xiao Liang Yu,
27th International Conference on Fundamental Approaches to Software Engineering (FASE 2024) (Core B),
2024
Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC)
By Sangharatna Godboley, P. Radha Krishna, Ritesh Kumar Jha,
17th Innovations in Software Engineering Conference (ISEC 2024),
2024
UMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing
By Sangharatna Godboley, Bikash Singha, Monika Rani Golla, P. Radha Krishna
,
39th ACM/SIGAPP Symposium On Applied Computing (SAC-2024) (Core B - Multiconference),
2024
VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines,
By Sangharatna Godboley, P. Radha Krishna,,
17th IEEE Conference on Software Testing, Verification and Validation (ICST 2024) Pages 434-438, (Core A),
2024
gptCombFuzz: Combinatorial Oriented LLM Seed Generation for Effective Fuzzing,
By Darshan Lohiya, Monika Rani Golla, Sangharatna Godboley, P. Radha Krishna,
17th IEEE Conference on Software Testing, Verification and Validation (ICST 2024) Pages 438-442, (Core A) ,
2024
Poster: Towards Complete Fuzzing with KLEE
By Kanika Gupta, Sangharatna Godboley,
4th KLEE Workshop, 46th International Conference on Software Engineering (ICSE 2024),
2024
CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker
By Godboley, S. and Krishna, P,
In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering,
2024
Atomic Condition Coverage Analysis for Structured Text-Based Programmable Logic Controller (PLC)
By Sangharatna Godboley, P. Radha Krishna, and Ritesh Kumar Jha,
In Proceedings of the 17th Innovations in Software Engineering Conference (ISEC '24). Association for Computing Machinery,
2024
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).
By Dutta, A., Maghareh, R., Jaffar, J., Godboley, S., Yu, X.L.,
In: Beyer, D., Cavalcanti, A. (eds) Fundamental Approaches to Software Engineering. FASE 2024. Lecture Notes in Computer Science,
2024
UMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing.
By Sangharatna Godboley, Bikash Singha, Monika Rani Golla, and P. R Krishna,
In Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing (SAC '24),
2024
PRCMHFL: A Fault Localization Technique based on Predicate Ranking and CMH method
By Sangharatna Godboley, Shubhank Kulshreshtha, Prayanshu Agarwal, B Ranilbala ,
23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023), (Core-C),
2023
SC-MCC: A Stronger Code Coverage Criterion
By S. Godboley, M. R. Golla and P. R. Krishna,
2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C),
2023
SC-MCC: A Stronger Code Coverage Criterion
By Sangharatna Godboley, Monika Rani Golla, P. Radha Krishna ,
23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023) (Core-C),
2023
GMutant: A gCov based Mutation Testing Analyser
By Monika Rani Golla, Sangharatna Godboley ,
16th Innovations in Software Engineering Conference (ISEC -2023),
2023
Agile GUI Testing by Computing Novel Mobile App Coverage Using Appium Tool
By Sangharatna Godboley, Debasish Dalei, Ravichandra Sadam and
Durga Prasad Mohapatra ,
38th ACM/SIGAPP Symposium On Applied Computing (SAC-2023) (Core B - Multiconference),
2023
Smart Contract Test Case Prioritization based on Frequency and Gas Consumption
By Sangharatna Godboley, P. Radha Krishna, Aditya Joshi, Ishita Gupta, Rahul Khatav ,
23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023), (Core-C),
2023
Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool
By Sangharatna Godboley, Debasish Dalei, Ravichandra Sadam, Durga Prasad Mohapatra,
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing (SAC '23),
2023
SmartMuVerf: A Mutant Verifier for Smart Contracts
By Sangharatna Godboley, P. Radha Krishna,
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering,
2023
Carbon-Box Testing
By Sangharatna Godboley, G. Rani, S. Nenavath,
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering,
2023
VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing
By Sangharatna Godboley,
Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering,
2023
An Efficient Energy Consumption of a Miner Node in a Local Blockchain Network
By Sangharatna Godboley, Radha Krishna Pisipati, Sai Naik T. Venkat, Lakshita Choudhary,
IEEE 20th India Council International Conference (INDICON),
2023
An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results
By Sangharatna Godboley,
IEEE 20th India Council International Conference (INDICON),
2023
Study on Unknown Bugs for Smart Contracts using Echidna
By Godboley, P. Radha Krishna and G. Raj,
2023 IEEE 20th India Council International Conference (INDICON),
2023
Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC
By Golla Monika Rani, Sangharatna Godboley,
15th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2022,
2022
CMHFL: A new Fault Localization technique based on Cochran–Mantel–Haenszel method
By R. Dharanappagoudar, P. Gupta, Sangharatna Godboley,
IEEE 19th India Council International Conference (INDICON) 2022,
2022
SSG-AFL: Vulnerability Detection for Reactive Systems using Static Seed Generator Based AFL, STPSA - Security, Trust, and Privacy for Software Applications
By Sangharatna Godboley, Arpita Dutta, Radha Krishna Pisipati, Durga Prasad Mohapatra,
IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), 2022.(Core-B),
2022
Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC
By Golla Monika Rani and Sangharatna Godboley,
15th IEEE International Conference on Software Testing, Verification and Validation (ICST - 2022) (Core A),
2022
Cyclomatic Complexity Analyst for Smart Contract Using Control Flow Graph
By Sangharatna Godboley, Shantanu Agarwal, P. Radha Krishna,
International Conference on Computing, Communication and Learning (COCOLE), 2022,
2022
Text Book(s)
ISEC '26: Proceedings of the 19th Innovations in Software Engineering Conference
By Anubha Jain, Vikas Bajpai, Rupak Majumdar, Subhajit Roy, Sangharatna Godboley, Santosh Rathore
(Published by: ACM),
Conference Proceeding,
2026
Proceedings of the 18th Innovations in Software Engineering Conference
By JK Chhabra, L Kumar, S Chimalakonda, P Krishan, S Godboley
(Published by: ACM),
Conference Proceeding,
2025
Computing, Communication and Learning
By Sanjaya Kumar Panda, Rajkumar Buyya, Rashmi Ranjan Rout, Manjubala Bisi, Sangharatna Godboley, Kuan-Ching Li, Ashish Ghosh
(Published by: Springer),
Conference Proceeding,
2025
Proceedings of the 17th Innovations in Software Engineering Conference
By Chakrabarti, Sujit Kumar and Komondoor, Raghavan and Medicherla, Raveendra Kumar and Rastogi, Aseem and Ghosh, Sudipto and Kumar, Lov and Godboley, Sangharatna
(Published by: ACM),
Conference Proceeding,
2024
PROJECT / CONSULTANCY
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
Project Cost (INR): 3216480
Date of Commencement: 25-03-2025
Duration: 37 Months
Status: Ongoing
Type: Research
Sponsor: ANRF-IRG, Govt. of India
Project Cost (INR): 3216480
Date of Commencement: 25-03-2025
Duration: 37 Months
Status: Ongoing
TrustInn: Umbrella Industry Tool for Validating BlockChain System
Role:
Principal Investigator
Type: Research
Sponsor: CPS-DIAL, DST, IBITF, Gov. of India
Project Cost (INR): 15958080
Date of Commencement: 18-03-2025
Duration: 37 Months
Status: Ongoing
Type: Research
Sponsor: CPS-DIAL, DST, IBITF, Gov. of India
Project Cost (INR): 15958080
Date of Commencement: 18-03-2025
Duration: 37 Months
Status: Ongoing
Automated Structural Coverage & Robustness Analysis Tool using Formal Methods
Role:
Principal Investigator
Type: Consultancy
Sponsor: CARS, LRDE, DRDO, Govt. of India
Project Cost (INR): 4697000
Date of Commencement: 01-10-2025
Duration: 24 Months
Status: Ongoing
Type: Consultancy
Sponsor: CARS, LRDE, DRDO, Govt. of India
Project Cost (INR): 4697000
Date of Commencement: 01-10-2025
Duration: 24 Months
Status: Ongoing
Security Analysis of Software Systems
Role:
Principal Investigator
Type: Research
Sponsor: Government of India
Project Cost (INR): 238600000
Date of Commencement: 09-09-2024
Duration: 37 Months
Status: Ongoing
Type: Research
Sponsor: Government of India
Project Cost (INR): 238600000
Date of Commencement: 09-09-2024
Duration: 37 Months
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)
Project Cost (INR): 2646000
Date of Commencement: 06-04-2022 Date of Completion: 05-04-2025
Duration: 37 Months
Status: Completed
Type: Research
Sponsor: PRAYAS at IBITF, Department of Science and Technology (DST)
Project Cost (INR): 2646000
Date of Commencement: 06-04-2022 Date of Completion: 05-04-2025
Duration: 37 Months
Status: Completed
Effective Mutation Testing
Role:
Principal Investigator
Type: Research
Sponsor: Research Seed Money (RSM) Plan General Equipment
Project Cost (INR): 485000
Date of Commencement: 17-11-2020 Date of Completion: 16-11-2022
Duration: 25 Months
Status: Completed
Type: Research
Sponsor: Research Seed Money (RSM) Plan General Equipment
Project Cost (INR): 485000
Date of Commencement: 17-11-2020 Date of Completion: 16-11-2022
Duration: 25 Months
Status: Completed
RESEARCH FELLOWS / PhD STUDENTS
Current PhD Students
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
Gundala Shanmukhi Rama
Area of Research:
Software Architecture and Design Pattern
J.MARIA SHANTHI
Area of Research:
AI Testing
Meeryalkar Rakesh
Area of Research:
Software Security
Prashanth Mandha
Area of Research:
Security 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
Venkata Nagamani Vadlamani
Area of Research:
Smart Contract
VISHAL KUMAR SWAIN
Area of Research:
Software Testing
Previous PhD Students
Golla Monika Rani
(2025)
Area of Research:
Program Analysis and Software Testing
PDF Post-Doctoral Fellows
Golla Monika Rani
Apr 2025
→ Jul 2025
Area of Research:
Software Testing
Nany Kumari
Oct 2025
→ Jun 2026
Area of Research:
Software Security
Vivek Yelleti
Apr 2025
→ Jul 2025
Area of Research:
Applied Large Language Models (LLM)
CONFERENCE / WORKSHOP / SYMPOSIUM / SHORT TERM COURSE / FACULTY DEVELOPMENT PROGRAMME / GIAN
ACM 7th Software Engineering Research in India (SERI) 2025
11-Jul-2025
→
12-Jul-2025
Event Type:
Conference
Role: General Chair
Funding Agency: ACM India
Role: General Chair
Funding Agency: ACM India
3rd International Workshop on Recent Advances in Program Analysis and Software Testing (RAPAST-2024), Cambridge, UK (July 2024) Co-Located, IEEE 24th International Conference on Software Quality, Reliability, and Security (QRS-2024), Cambridge, UK (July 2024)
01-Jul-2024
→
05-Jul-2024
Event Type:
Workshop
Role: Program Chair
Funding Agency: QRS Conference
Role: Program Chair
Funding Agency: QRS Conference
4th International Workshop on Recent Advances in Program Analysis and Software Testing (RAPAST 2025), Hangzhou ,China (July 2024) Co-Located IEEE 25th International Conference on Software Quality, Reliability, and Security (QRS-2025), Hangzhou ,China (July 2025)
16-Jul-2025
→
20-Jul-2025
Event Type:
Workshop
Role: Program Chair
Funding Agency: QRS Conference
Role: Program Chair
Funding Agency: QRS Conference
19th Innovations in Software Engineering Conference (ISEC 2026), February 19 to 21, 2026, IIS (Deemed to be University), Jaipur, India
19-Feb-2026
→
21-Feb-2026
Event Type:
Conference
Role: Publication Chair
Funding Agency: ACM India, TCS, IBM etc
Role: Publication Chair
Funding Agency: ACM India, TCS, IBM etc
18th Innovations in Software Engineering Conference (ISEC 2025), February 20–22, 2025, NIT Kurukshetra, India
20-Feb-2025
→
22-Feb-2025
Event Type:
Conference
Role: Proceedings Chair and Program Committee Member
Funding Agency: ACM India, TCS, IBM etc
Role: Proceedings Chair and Program Committee Member
Funding Agency: ACM India, TCS, IBM etc
24th International Conference on Software Quality, Reliability and Security, July 1 – 5 2024, Cambridge, United Kingdom
01-Jul-2024
→
05-Jul-2024
Event Type:
Conference
Role: Publicity Chairs, Program Committee Members
Funding Agency: QRS Registrations and other sponsors
Role: Publicity Chairs, Program Committee Members
Funding Agency: QRS Registrations and other sponsors
ISSTA Artifact Evaluation, 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2025, Wed 25 - Sat 28 June 2025 Trondheim, Norway
25-Jun-2025
→
28-Jun-2025
Event Type:
Conference
Role: Program Committee Member
Funding Agency: ISSTA Registrations and Other Sponsors
Role: Program Committee Member
Funding Agency: ISSTA Registrations and Other Sponsors
ISSTA Artifact Evaluation, 33th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) 2025, Mon 16 - Fri 20 September 2024 Vienna, Austria
16-Sep-2025
→
20-Sep-2025
Event Type:
Conference
Role: Program Committee Member
Funding Agency: ISSTA Registrations and Other Sponsors
Role: Program Committee Member
Funding Agency: ISSTA Registrations and Other Sponsors
LASD@SAC'24 Track on Lean and Agile Software Development at the 39th ACM/SIGAPP Symposium On Applied Computing, Avila, Spain (April 2024)
08-Apr-2025
→
12-Apr-2025
Event Type:
Conference
Role: Program Committee Member,
Funding Agency: SAC Registrations
Role: Program Committee Member,
Funding Agency: SAC Registrations
17th Innovations in Software Engineering Conference ISEC 2024 IIIT Bengaluru (Feb 2024)
22-Feb-2024
→
24-Feb-2024
Event Type:
Conference
Role: Proceedings Chair and Program Committee Members- Research Track
Funding Agency: ACM India, TCS, IBM etc
Role: Proceedings Chair and Program Committee Members- Research Track
Funding Agency: ACM India, TCS, IBM etc
IEEE 24th International Conference on Software Quality, Reliability, and Security (QRS-2024), Cambridge, UK (July 2024)
01-Jul-2024
→
05-Jul-2024
Event Type:
Conference
Role: Publicity Chairs and Program Committee Members
Funding Agency: QRS Registrations and other sponsors
Role: Publicity Chairs and Program Committee Members
Funding Agency: QRS Registrations and other sponsors
IEEE 25th International Conference on Software Quality, Reliability, and Security (QRS-2025), Hangzhou ,China (July 2025)
16-Jul-2025
→
20-Jul-2025
Event Type:
Conference
Role: Publicity Chairs and Program Committee Member
Funding Agency: QRS Registrations and other sponsors
Role: Publicity Chairs and Program Committee Member
Funding Agency: QRS Registrations and other sponsors
3rd International Conference on Computing, Communication and Learning (COCOLE)-2024, NIT Warangal, India
13-Sep-2024
→
15-Sep-2025
Event Type:
Conference
Role: Organizing Secretary
Funding Agency: Registrations and SERB
Role: Organizing Secretary
Funding Agency: Registrations and SERB
2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2024), IIIT Allahabad, Co-Located with 16th Innovations in Software Engineering Conference ISEC 2023, 23 - 25 February, IIIT Allahabad, Prayagraj, Uttar Pradesh, India
23-Feb-2023
→
25-Feb-2023
Event Type:
Workshop
Role: Organizing Secretary
Funding Agency: ACM India
Role: Organizing Secretary
Funding Agency: ACM India
16th Innovations in Software Engineering Conference ISEC 2023 23 - 25 February IIIT Allahabad, Prayagraj, Uttar Pradesh, India
23-Feb-2023
→
25-Feb-2023
Event Type:
Conference
Role: Program Committee Members- Research Track
Funding Agency: ACM India, TCS, IBM etc
Role: Program Committee Members- Research Track
Funding Agency: ACM India, TCS, IBM etc
18th Recent Trends in Software Testing at IIIT Bhubaneswar (RTST 2025)
19-Dec-2025
→
23-Dec-2025
Event Type:
Workshop
Role: Co‑coordinator
Funding Agency: Self‑sponsored
Role: Co‑coordinator
Funding Agency: Self‑sponsored
5th International Workshop on Recent Advances in Program Analysis and Software Testing (RAPAST 2026), Florence, Italy
22-Jul-2026
→
25-Jul-2026
Event Type:
Conference
Role: Program Chair
Funding Agency: IEEE
Role: Program Chair
Funding Agency: IEEE
AWARDS AND ACCOLADES
2025
ACM/IARCS Travel Grant
IEI NMLC-FCRIT Excellence Award – 2025 (Certificate of Excellence)
IEI NMLC-FCRIT Excellence Award – 2025 (Certificate of Recognition)
2024
ACM SIGSOFT CAPS AWARD
2023
RECOGNITION award Research Excellence IEI
SERB International Travel Support (ITS) Award
2016
SANDEEP MOHAPATRA MEMORIAL MEDAL IEI
ADDITIONAL RESPONSIBILITIES
- New Academic Programs Committee Member (August, 2025 - August, 2026)
- 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 (May, 2023 - June, 2026)
- Professor-In-Charge, Course Audit Committe Member (Continuing from August, 2022)
Last updated on July 11, 2026