default search action
Sangharatna Godboley
Person information
- affiliation: National Institute of Technology (NIT), DOS Lab, Rourkela, India
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra:
SMUP: A technique to improve MC/DC using specified patterns. Comput. Electr. Eng. 120: 109706 (2024) - [j14]Monika Rani Golla, Sangharatna Godboley:
Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications. Expert Syst. Appl. 238(Part F): 122033 (2024) - [j13]Monika Rani Golla, Sangharatna Godboley:
Automated SC-MCC test case generation using coverage-guided fuzzing. Softw. Qual. J. 32(3): 849-880 (2024) - [c31]Sangharatna Godboley, P. Radha Krishna:
CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker. ENASE 2024: 387-395 - [c30]Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu:
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). FASE 2024: 320-325 - [c29]Sangharatna Godboley, P. Radha Krishna:
Poster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines. ICST 2024: 434-437 - [c28]Darshan Lohiya, Monika Rani Golla, Sangharatna Godboley, P. Radha Krishna:
Poster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing. ICST 2024: 438-441 - [c27]Sangharatna Godboley, P. Radha Krishna, Ritesh Kumar Jha:
Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC). ISEC 2024: 16:1-16:5 - [c26]Sangharatna Godboley, Bikash Singha, Monika Rani Golla, P. Radha Krishna:
UMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing. SAC 2024: 850-852 - 2023
- [c25]Sangharatna Godboley:
VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing. ENASE 2023: 306-313 - [c24]Sangharatna Godboley, Monika Rani Golla, Sindhu Nenavath:
Carbon-Box Testing. ENASE 2023: 314-321 - [c23]Sangharatna Godboley, P. Radha Krishna:
SmartMuVerf: A Mutant Verifier for Smart Contracts. ENASE 2023: 346-353 - [c22]Monika Rani Golla, Sangharatna Godboley:
gMutant: A gCov based Mutation Testing Analyser. ISEC 2023: 22:1-22:5 - [c21]Sangharatna Godboley, Durga Prasad Mohapatra:
2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2023). ISEC 2023: 27:1-27:2 - [c20]Sangharatna Godboley, Monika Rani Golla, P. Radha Krishna:
SC-MCC: A Stronger Code Coverage Criterion. QRS Companion 2023: 62-71 - [c19]Sangharatna Godboley, Shubhank Kulshreshtha, Prayanshu Agarwal, B. Ranilbala:
PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method. QRS Companion 2023: 148-156 - [c18]Sangharatna Godboley, P. Radha Krishna, Aditya Joshi, Ishita Gupta, Rahul Khatav:
Smart Contract Test Case Prioritization based on Frequency and Gas Consumption. QRS Companion 2023: 290-299 - [c17]Sangharatna Godboley, Debasish Dalei, Ravichandra Sadam, Durga Prasad Mohapatra:
Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool. SAC 2023: 1026-1029 - 2022
- [j12]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. J. King Saud Univ. Comput. Inf. Sci. 34(10 Part B): 9757-9776 (2022) - [c16]Sangharatna Godboley, Arpita Dutta, Pisipati Radha Krishna, Durga Prasad Mohapatra:
SSG-AFL: Vulnerability detection for Reactive Systems using Static Seed Generator based AFL. COMPSAC 2022: 1728-1733 - [c15]Sangharatna Godboley, Kanika Gupta, Monika Rani Golla:
AV-AFL: A Vulnerability Detection Fuzzing Approach by Proving Non-reachable Vulnerabilities using Sound Static Analyser. ENASE 2022: 301-308 - [c14]Monika Rani Golla, Sangharatna Godboley:
Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC. ICST 2022: 469-472 - [c13]Sangharatna Godboley, Durga Prasad Mohapatra:
Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique. LASD 2022: 150-169 - [c12]Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra:
Agility Based Coverage Improvement. LASD 2022: 170-186 - 2021
- [j11]Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra:
MC/DC guided Test Sequence Prioritization using Firefly Algorithm. Evol. Intell. 14(1): 105-118 (2021) - [j10]Arpita Dutta, Saksham Sahai Srivastava, Sangharatna Godboley, Durga Prasad Mohapatra:
Combi-FL: Neural network and SBFL based fault localization using mutation analysis. J. Comput. Lang. 66: 101064 (2021) - [c11]Sangharatna Godboley, Arpita Dutta:
Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program. ENASE 2021: 197-204 - [c10]Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta:
Toward optimal mc/dc test case generation. ISSTA 2021: 505-516 - [c9]Arpita Dutta, Sangharatna Godboley:
MSFL: A Model for Fault Localization Using Mutation-Spectra Technique. LASD 2021: 156-173 - 2020
- [c8]Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha:
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). FASE 2020: 530-534 - [i1]Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha:
TracerX: Dynamic Symbolic Execution with Interpolation. CoRR abs/2012.00556 (2020)
2010 – 2019
- 2019
- [j9]Swadhin Kumar Barisal, Suvam Suvabrata Behera, Sangharatna Godboley, Durga Prasad Mohapatra:
Validating object-oriented software at design phase by achieving MC/DC. Int. J. Syst. Assur. Eng. Manag. 10(4): 811-823 (2019) - [c7]Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh:
Optimal MC/DC test case generation. ICSE (Companion Volume) 2019: 288-289 - [c6]Arpita Dutta, Shubham Kumar, Sangharatna Godboley:
Enhancing Test Cases generated by Concolic Testing. ISEC 2019: 11:1-11:11 - 2018
- [j8]Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall:
GECOJAP: A novel source-code preprocessing technique to improve code coverage. Comput. Stand. Interfaces 55: 27-46 (2018) - [j7]Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall:
Scaling modified condition/decision coverage using distributed concolic testing for Java programs. Comput. Stand. Interfaces 59: 61-86 (2018) - [j6]Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra:
Reduced energy consumption for MC/DC testing. Int. J. Bus. Inf. Syst. 28(4): 447-467 (2018) - 2017
- [j5]Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall:
J3 Model: A novel framework for improved Modified Condition/Decision Coverage analysis. Comput. Stand. Interfaces 50: 1-17 (2017) - [j4]Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra:
Green DRCT: Measuring Energy Consumption of an Enhanced Branch Coverage and Modified Condition/Decision Coverage Technique. Int. J. Knowl. Discov. Bioinform. 7(1): 14-29 (2017) - [j3]Srijan Das, Arpita Dutta, Saurav Sharma, Sangharatna Godboley:
A Comparative Analysis of a Novel Anomaly Detection Algorithm with Neural Networks. Int. J. Rough Sets Data Anal. 4(4): 1-16 (2017) - [j2]Sangharatna Godboley, Durga Prasad Mohapatra, Avijit Das, Rajib Mall:
An improved distributed concolic testing approach. Softw. Pract. Exp. 47(2): 311-342 (2017) - 2016
- [j1]Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Avijit Das, Rajib Mall:
Making a concolic tester achieve increased MC/DC. Innov. Syst. Softw. Eng. 12(4): 319-332 (2016) - [c5]Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra:
Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs. FedCSIS 2016: 1709-1713 - [c4]Arpita Dutta, Sangharatna Godboley, Durga Prasad Mohapatra:
Measuring Branch Coverage for the SOA Based Application Using Concolic Testing. ICACDS 2016: 165-172 - 2015
- [c3]Sangharatna Godboley, Subhrakanta Panda, Durga Prasad Mohapatra:
SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing. ICDCIT 2015: 199-202 - [c2]Sangharatna Godboley, Arun Sahani, Durga Prasad Mohapatra:
ABCE: A Novel Framework for Improved Branch Coverage Analysis. SCSE 2015: 266-273 - 2013
- [c1]Kuleshwar Sahu, Sangharatna J. Godboley, S. K. Jain:
HCDLST: An Indexing Technique for Current and Recent-Past Sliding Window Spatio-Temporal Data. ICACNI 2013: 947-954
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-31 20:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint