Skip to content

Sangharatna Godboley

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

32

Venues

13

Active years

2015–2026

Best venue rank

A*

Where they publish

Papers

32 indexed papers, newest first.

YearVenueTitleAuthors
2026ICSTComp-AFL: Towards Complete Fuzzing.Sangharatna Godboley, Kanika Gupta, Monika Rani Golla, P. Radha Krishna
2026ICSTSLS-Fuzz: Large Language Model based Self Learned Seeder for efficient Fuzzing.Sangharatna Godboley, Darshan Lohiya, Monika Rani Golla, P. Radha Krishna
2026ICSTPoster: Comparative Study of Human and Machine level prompts for LLM driven software testing.Anand Sharma, Vivek Yelleti, Sangharatna Godboley, P. Radha Krishna
2026ICSTKSERESNET at the ICST 2026 Tool Competition - Self-Driving Car Testing Track.Vishal Kumar Swain, Sangharatna Godboley, P. Radha Krishna, Avijit Das
2026SANERQGMR: A New Quantum Mutation Testing Operator.Sanskar Shah, Sangharatna Godboley, P. Radha Krishna
2025EASEValidation Framework for E-Contract and Smart Contract.Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika, Pooja Varnam
2025FASEESBMC 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
2025ICSTPoster: Empirical Evaluation of SC-MCC Meta Program Efficiency Using Dynamic Symbolic Execution Engine.Monika Rani Golla, Sangharatna Godboley
2025ICSTPoster: Reporting Unique-Cause MC/DC Score Using Formal Verification.Monika Rani Golla, Sangharatna Godboley, Avijit Das, P. Radha Krishna
2025TencongptPromptFuzz: LLM Prompt Engineering Based Seed Generation for Effective Fuzzing.Darshan Lohiya, Vivek Yelleti, Sangharatna Godboley, P. Radha Krishna
2025TenconElement Based User Interaction with Design Semantics of Mobile Apps and Usability Assessment.Gundala Shanmukhi Rama, Sangharatna Godboley, Ravichandra Sadam
2024ENASECC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker.Sangharatna Godboley, P. Radha Krishna
2024FASETracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution).Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu
2024ICSTPoster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines.Sangharatna Godboley, P. Radha Krishna
2024ICSTPoster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing.Darshan Lohiya, Monika Rani Golla, Sangharatna Godboley, P. Radha Krishna
2024SACUMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing.Sangharatna Godboley, Bikash Singha, Monika Rani Golla, P. Radha Krishna
2023ENASESmartMuVerf: A Mutant Verifier for Smart Contracts.Sangharatna Godboley, P. Radha Krishna
2023ENASEVeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing.Sangharatna Godboley
2023ENASECarbon-Box Testing.Sangharatna Godboley, Monika Rani Golla, Sindhu Nenavath
2023QRSSmart Contract Test Case Prioritization based on Frequency and Gas Consumption.Sangharatna Godboley, P. Radha Krishna, Aditya Joshi, Ishita Gupta, Rahul Khatav
2023QRSSC-MCC: A Stronger Code Coverage Criterion.Sangharatna Godboley, Monika Rani Golla, P. Radha Krishna
2023QRSPRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method.Sangharatna Godboley, Shubhank Kulshreshtha, Prayanshu Agarwal, B. Ranilbala
2023SACAgile GUI Testing by computing novel Mobile App Coverage Using Appium Tool.Sangharatna Godboley, Debasish Dalei, Ravichandra Sadam, Durga Prasad Mohapatra
2022COMPSACSSG-AFL: Vulnerability detection for Reactive Systems using Static Seed Generator based AFL.Sangharatna Godboley, Arpita Dutta, Pisipati Radha Krishna, Durga Prasad Mohapatra
2022ENASEAV-AFL: A Vulnerability Detection Fuzzing Approach by Proving Non-reachable Vulnerabilities using Sound Static Analyser.Sangharatna Godboley, Kanika Gupta, Monika Rani Golla
2022ICSTPoster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC.Monika Rani Golla, Sangharatna Godboley
2021ENASEDy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program.Sangharatna Godboley, Arpita Dutta
2021ISSTAToward optimal mc/dc test case generation.Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta
2020FASETracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
2019ICSEOptimal MC/DC test case generation.Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh
2016FedCSISJava-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs.Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra
2015ICDCITSMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing.Sangharatna Godboley, Subhrakanta Panda, Durga Prasad Mohapatra