HCDLST: An Indexing Technique for Current and Recent-Past Sliding Window Spatio-Temporal Data. - Kuleshwar Sahu; Sangharatna J. Godboley; S. K. Jain (ICACNI, 2013)

SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing. - Sangharatna Godboley; Subhrakanta Panda; Durga Prasad Mohapatra (ICDCIT, 2015)

ABCE: A Novel Framework for Improved Branch Coverage Analysis. - Sangharatna Godboley; Arun Sahani; Durga Prasad Mohapatra (SCSE, 2015)

Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs. - Sangharatna Godboley; Arpita Dutta; Durga Prasad Mohapatra (FedCSIS, 2016)

Measuring Branch Coverage for the SOA Based Application Using Concolic Testing. - Arpita Dutta; Sangharatna Godboley; Durga Prasad Mohapatra (ICACDS, 2016)

Making a concolic tester achieve increased MC/DC. - Sangharatna Godboley; Arpita Dutta; Durga Prasad Mohapatra; Avijit Das; Rajib Mall (Innov. Syst. Softw. Eng., 2016)

J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis. - Sangharatna Godboley; Arpita Dutta; Durga Prasad Mohapatra; Rajib Mall (Comput. Stand. Interfaces, 2017)

Green DRCT: Measuring Energy Consumption of an Enhanced Branch Coverage and Modified Condition/Decision Coverage Technique. - Sangharatna Godboley; Arpita Dutta; Durga Prasad Mohapatra (Int. J. Knowl. Discov. Bioinform., 2017)

A Comparative Analysis of a Novel Anomaly Detection Algorithm with Neural Networks. - Srijan Das; Arpita Dutta; Saurav Sharma; Sangharatna Godboley (Int. J. Rough Sets Data Anal., 2017)

An improved distributed concolic testing approach. - Sangharatna Godboley; Durga Prasad Mohapatra; Avijit Das; Rajib Mall (Softw. Pract. Exp., 2017)

GECOJAP: A novel source-code preprocessing technique to improve code coverage. - Sangharatna Godboley; Arpita Dutta; Durga Prasad Mohapatra; Rajib Mall (Comput. Stand. Interfaces, 2018)

Scaling modified condition/decision coverage using distributed concolic testing for Java programs. - Sangharatna Godboley; Arpita Dutta; Durga Prasad Mohapatra; Rajib Mall (Comput. Stand. Interfaces, 2018)

Reduced energy consumption for MC/DC testing. - Sangharatna Godboley; Arpita Dutta; Durga Prasad Mohapatra (Int. J. Bus. Inf. Syst., 2018)

Optimal MC/DC test case generation. - Joxan Jaffar; Sangharatna Godboley; Rasool Maghareh (ICSE (Companion Volume), 2019)

Enhancing Test Cases generated by Concolic Testing. - Arpita Dutta; Shubham Kumar; Sangharatna Godboley (ISEC, 2019)

Validating object-oriented software at design phase by achieving MC/DC. - Swadhin Kumar Barisal; Suvam Suvabrata Behera; Sangharatna Godboley; Durga Prasad Mohapatra (Int. J. Syst. Assur. Eng. Manag., 2019)

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (FASE, 2020)

TracerX: Dynamic Symbolic Execution with Interpolation. - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (CoRR, 2020)

Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program. - Sangharatna Godboley; Arpita Dutta (ENASE, 2021)

Toward optimal mc/dc test case generation. - Sangharatna Godboley; Joxan Jaffar; Rasool Maghareh; Arpita Dutta (ISSTA, 2021)

MSFL: A Model for Fault Localization Using Mutation-Spectra Technique. - Arpita Dutta; Sangharatna Godboley (LASD, 2021)

MC/DC guided Test Sequence Prioritization using Firefly Algorithm. - Swadhin Kumar Barisal; Arpita Dutta; Sangharatna Godboley; Bibhudatta Sahoo 001; Durga Prasad Mohapatra (Evol. Intell., 2021)

Combi-FL: Neural network and SBFL based fault localization using mutation analysis. - Arpita Dutta; Saksham Sahai Srivastava; Sangharatna Godboley; Durga Prasad Mohapatra (J. Comput. Lang., 2021)

Cyclomatic Complexity Analysis for Smart Contract Using Control Flow Graph. - Shantanu Agarwal; Sangharatna Godboley; P. Radha Krishna 001 (CoCoLe, 2022)

SSG-AFL: Vulnerability detection for Reactive Systems using Static Seed Generator based AFL. - Sangharatna Godboley; Arpita Dutta; Pisipati Radha Krishna; Durga Prasad Mohapatra (COMPSAC, 2022)

AV-AFL: A Vulnerability Detection Fuzzing Approach by Proving Non-reachable Vulnerabilities using Sound Static Analyser. - Sangharatna Godboley; Kanika Gupta; Monika Rani Golla (ENASE, 2022)

Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC. - Monika Rani Golla; Sangharatna Godboley (ICST, 2022)

Agility Based Coverage Improvement. - Swadhin Kumar Barisal; Arpita Dutta; Sangharatna Godboley; Bibhudatta Sahoo 001; Durga Prasad Mohapatra (LASD, 2022)

Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique. - Sangharatna Godboley; Durga Prasad Mohapatra (LASD, 2022)

BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases. - Swadhin Kumar Barisal; Shorya Pratap Singh Chauhan; Arpita Dutta; Sangharatna Godboley; Bibhudatta Sahoo 001; Durga Prasad Mohapatra (J. King Saud Univ. Comput. Inf. Sci., 2022)

SmartMuVerf: A Mutant Verifier for Smart Contracts. - Sangharatna Godboley; P. Radha Krishna 001 (ENASE, 2023)

VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing. - Sangharatna Godboley (ENASE, 2023)

Carbon-Box Testing. - Sangharatna Godboley; Monika Rani Golla; Sindhu Nenavath (ENASE, 2023)

2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2023). - Sangharatna Godboley; Durga Prasad Mohapatra (ISEC, 2023)

gMutant: A gCov based Mutation Testing Analyser. - Monika Rani Golla; Sangharatna Godboley (ISEC, 2023)

Smart Contract Test Case Prioritization based on Frequency and Gas Consumption. - Sangharatna Godboley; P. Radha Krishna 001; Aditya Joshi; Ishita Gupta; Rahul Khatav (QRS Companion, 2023)

SC-MCC: A Stronger Code Coverage Criterion. - Sangharatna Godboley; Monika Rani Golla; P. Radha Krishna 001 (QRS Companion, 2023)

PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method. - Sangharatna Godboley; Shubhank Kulshreshtha; Prayanshu Agarwal; B. Ranilbala (QRS Companion, 2023)

Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool. - Sangharatna Godboley; Debasish Dalei; Ravichandra Sadam; Durga Prasad Mohapatra (SAC, 2023)

CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker. - Sangharatna Godboley; P. Radha Krishna 001 (ENASE, 2024)

TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). - Arpita Dutta; Rasool Maghareh; Joxan Jaffar; Sangharatna Godboley; Xiao Liang Yu (FASE, 2024)

A Predictive Analysis-Based IoT-Enabled Smart Bins for Waste Management in Smart Cities. - Sanjaya Kumar Panda; Sangharatna Godboley; Uma Mahesh; Anirudh Gupta; Bairu Prashanth (ICCCNT, 2024)

Poster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines. - Sangharatna Godboley; P. Radha Krishna 001 (ICST, 2024)

Poster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing. - Darshan Lohiya; Monika Rani Golla; Sangharatna Godboley; P. Radha Krishna 001 (ICST, 2024)

Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC). - Sangharatna Godboley; P. Radha Krishna 001; Ritesh Kumar Jha (ISEC, 2024)

UMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing. - Sangharatna Godboley; Bikash Singha; Monika Rani Golla; P. Radha Krishna 001 (SAC, 2024)

SMUP: A technique to improve MC/DC using specified patterns. - Swadhin Kumar Barisal; Arpita Dutta; Sangharatna Godboley; Bibhudatta Sahoo 001; Durga Prasad Mohapatra (Comput. Electr. Eng., 2024)

Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications. - Monika Rani Golla; Sangharatna Godboley (Expert Syst. Appl., 2024)

Automated SC-MCC test case generation using coverage-guided fuzzing. - Monika Rani Golla; Sangharatna Godboley (Softw. Qual. J., 2024)

ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). - Chenfeng Wei; Tong Wu; Rafael Sá Menezes; Fedor Shmarov; Fatimah Aljaafari; Sangharatna Godboley; Kaled M. Alshmrany; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2025)

Poster: Empirical Evaluation of SC-MCC Meta Program Efficiency Using Dynamic Symbolic Execution Engine. - Monika Rani Golla; Sangharatna Godboley (ICST, 2025)

Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification. - Monika Rani Golla; Sangharatna Godboley; Avijit Das; P. Radha Krishna 001 (ICST, 2025)

Sol-Repairer: Solidity Smart Contract Dead Code Repairer. - Sangharatna Godboley; P. Radha Krishna 001 (ISEC, 2025)

ROR-DSE: ROR adequate test case generation using dynamic symbolic execution. - Sangharatna Godboley (J. Syst. Softw., 2025)

Making effective carbon-box testing technique using prioritised-selected test cases driven combinatorial approach. - Nethravathi Rippika; Monika Rani Golla; Sangharatna Godboley (Int. J. Syst. Assur. Eng. Manag., 2025)

Validation Framework for E-Contract and Smart Contract. - Sangharatna Godboley; P. Radha Krishna 001; Sunkara Sri Harika; Pooja Varnam (CoRR, 2025)