Sangharatna Godboley

59 papers A* 1A 7B 10C 1Misc 3Journal 19Unranked 16

Year	Rank	Type	Title / Venue / Authors
2025	—	`ed.`	Computing, Communication and Learning - Third International Conference, CoCoLe 2024, Warangal, India, September 13-15, 2024, Revised Selected Papers CoCoLe Sanjaya Kumar Panda, Rajkumar Buyya, Rashmi Ranjan Rout, Manjubala Bisi, Sangharatna Godboley, Kuan-Ching Li, Ashish Ghosh
2025	B	`conf`	ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). FASE Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro
2025	J	`jnl`	Making effective carbon-box testing technique using prioritised-selected test cases driven combinatorial approach. Int. J. Syst. Assur. Eng. Manag. Nethravathi Rippika, Monika Rani Golla, Sangharatna Godboley
2025	A	`conf`	Poster: Empirical Evaluation of SC-MCC Meta Program Efficiency Using Dynamic Symbolic Execution Engine. ICST Monika Rani Golla, Sangharatna Godboley
2025	A	`conf`	Poster: Reporting Unique-Cause MC/DC Score Using Formal Verification. ICST Monika Rani Golla, Sangharatna Godboley, Avijit Das, P. Radha Krishna
2025	—	`ed.`	Proceedings of the 18th Innovations in Software Engineering Conference, ISEC 2025, Kurukshetra, India, February 20-22, 2025 ISEC Jitendra Chhabra, Lov Kumar, Sridhar Chimalakonda, Paddy Krishan, Sangharatna Godboley
2025	J	`jnl`	ROR-DSE: ROR adequate test case generation using dynamic symbolic execution. J. Syst. Softw. Sangharatna Godboley
2025	—	`conf`	Sol-Repairer: Solidity Smart Contract Dead Code Repairer. ISEC Sangharatna Godboley, P. Radha Krishna
2025	A	`conf`	Validation Framework for E-Contract and Smart Contract. EASE Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika, Pooja Varnam
2025	J	`jnl`	Validation Framework for E-Contract and Smart Contract. CoRR Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika, Pooja Varnam
2025	A*	`conf`	VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods. ASE Chenfeng Wei, Shiyu Cai, Yiannis Charalambous, Tong Wu, Sangharatna Godboley, Lucas C. Cordeiro
2024	—	`conf`	A Predictive Analysis-Based IoT-Enabled Smart Bins for Waste Management in Smart Cities. ICCCNT Sanjaya Kumar Panda, Sangharatna Godboley, Uma Mahesh, Anirudh Gupta, Bairu Prashanth
2024	—	`conf`	Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC). ISEC Sangharatna Godboley, P. Radha Krishna, Ritesh Kumar Jha
2024	J	`jnl`	Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications. Expert Syst. Appl. Monika Rani Golla, Sangharatna Godboley
2024	J	`jnl`	Automated SC-MCC test case generation using coverage-guided fuzzing. Softw. Qual. J. Monika Rani Golla, Sangharatna Godboley
2024	B	`conf`	CC-SolBMC: Condition Coverage Analysis for Smart Contracts Using Solidity Bounded Model Checker. ENASE Sangharatna Godboley, P. Radha Krishna
2024	A	`conf`	Poster: VeriSol-MCE: Verification-Based Condition Coverage Analysis of Smart Contracts Using Model Checker Engines. ICST Sangharatna Godboley, P. Radha Krishna
2024	A	`conf`	Poster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing. ICST Darshan Lohiya, Monika Rani Golla, Sangharatna Godboley, P. Radha Krishna
2024	J	`jnl`	SMUP: A technique to improve MC/DC using specified patterns. Comput. Electr. Eng. Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra
2024	B	`conf`	TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution). FASE Arpita Dutta, Rasool Maghareh, Joxan Jaffar, Sangharatna Godboley, Xiao Liang Yu
2024	Misc	`conf`	UMask-AFL: Unmasking All Reachable Targets for Comprehensive Agile Fuzzing. SAC Sangharatna Godboley, Bikash Singha, Monika Rani Golla, P. Radha Krishna
2023	—	`conf`	2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2023). ISEC Sangharatna Godboley, Durga Prasad Mohapatra
2023	Misc	`conf`	Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool. SAC Sangharatna Godboley, Debasish Dalei, Ravichandra Sadam, Durga Prasad Mohapatra
2023	B	`conf`	Carbon-Box Testing. ENASE Sangharatna Godboley, Monika Rani Golla, Sindhu Nenavath
2023	—	`conf`	PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method. QRS Companion Sangharatna Godboley, Shubhank Kulshreshtha, Prayanshu Agarwal, B. Ranilbala
2023	—	`conf`	SC-MCC: A Stronger Code Coverage Criterion. QRS Companion Sangharatna Godboley, Monika Rani Golla, P. Radha Krishna
2023	—	`conf`	Smart Contract Test Case Prioritization based on Frequency and Gas Consumption. QRS Companion Sangharatna Godboley, P. Radha Krishna, Aditya Joshi, Ishita Gupta, Rahul Khatav
2023	B	`conf`	SmartMuVerf: A Mutant Verifier for Smart Contracts. ENASE Sangharatna Godboley, P. Radha Krishna
2023	B	`conf`	VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing. ENASE Sangharatna Godboley
2023	—	`conf`	gMutant: A gCov based Mutation Testing Analyser. ISEC Monika Rani Golla, Sangharatna Godboley
2022	B	`conf`	AV-AFL: A Vulnerability Detection Fuzzing Approach by Proving Non-reachable Vulnerabilities using Sound Static Analyser. ENASE Sangharatna Godboley, Kanika Gupta, Monika Rani Golla
2022	—	`conf`	Agility Based Coverage Improvement. LASD Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra
2022	J	`jnl`	BOOMPizer: Minimization and prioritization of CONCOLIC based boosted MC/DC test cases. J. King Saud Univ. Comput. Inf. Sci. Swadhin Kumar Barisal, Shorya Pratap Singh Chauhan, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra
2022	—	`conf`	Cyclomatic Complexity Analysis for Smart Contract Using Control Flow Graph. CoCoLe Shantanu Agarwal, Sangharatna Godboley, P. Radha Krishna
2022	A	`conf`	Poster: A gCov based new profiler, gMCov, for MC/DC and SC-MCC. ICST Monika Rani Golla, Sangharatna Godboley
2022	B	`conf`	SSG-AFL: Vulnerability detection for Reactive Systems using Static Seed Generator based AFL. COMPSAC Sangharatna Godboley, Arpita Dutta, Pisipati Radha Krishna, Durga Prasad Mohapatra
2022	—	`conf`	Towards Agile Mutation Testing Using Branch Coverage Based Prioritization Technique. LASD Sangharatna Godboley, Durga Prasad Mohapatra
2021	J	`jnl`	Combi-FL: Neural network and SBFL based fault localization using mutation analysis. J. Comput. Lang. Arpita Dutta, Saksham Sahai Srivastava, Sangharatna Godboley, Durga Prasad Mohapatra
2021	B	`conf`	Dy-COPECA: A Dynamic Version of MC/DC Analyzer for C Program. ENASE Sangharatna Godboley, Arpita Dutta
2021	J	`jnl`	MC/DC guided Test Sequence Prioritization using Firefly Algorithm. Evol. Intell. Swadhin Kumar Barisal, Arpita Dutta, Sangharatna Godboley, Bibhudatta Sahoo, Durga Prasad Mohapatra
2021	—	`conf`	MSFL: A Model for Fault Localization Using Mutation-Spectra Technique. LASD Arpita Dutta, Sangharatna Godboley
2021	A	`conf`	Toward optimal mc/dc test case generation. ISSTA Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh, Arpita Dutta
2020	B	`conf`	TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). FASE Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
2020	J	`jnl`	TracerX: Dynamic Symbolic Execution with Interpolation. CoRR Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
2019	—	`conf`	Enhancing Test Cases generated by Concolic Testing. ISEC Arpita Dutta, Shubham Kumar, Sangharatna Godboley
2019	—	`conf`	Optimal MC/DC test case generation. ICSE (Companion Volume) Joxan Jaffar, Sangharatna Godboley, Rasool Maghareh
2019	J	`jnl`	Validating object-oriented software at design phase by achieving MC/DC. Int. J. Syst. Assur. Eng. Manag. Swadhin Kumar Barisal, Suvam Suvabrata Behera, Sangharatna Godboley, Durga Prasad Mohapatra
2018	J	`jnl`	GECOJAP: A novel source-code preprocessing technique to improve code coverage. Comput. Stand. Interfaces Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall
2018	J	`jnl`	Reduced energy consumption for MC/DC testing. Int. J. Bus. Inf. Syst. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra
2018	J	`jnl`	Scaling modified condition/decision coverage using distributed concolic testing for Java programs. Comput. Stand. Interfaces Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall
2017	J	`jnl`	A Comparative Analysis of a Novel Anomaly Detection Algorithm with Neural Networks. Int. J. Rough Sets Data Anal. Srijan Das, Arpita Dutta, Saurav Sharma, Sangharatna Godboley
2017	J	`jnl`	An improved distributed concolic testing approach. Softw. Pract. Exp. Sangharatna Godboley, Durga Prasad Mohapatra, Avijit Das, Rajib Mall
2017	J	`jnl`	Green DRCT: Measuring Energy Consumption of an Enhanced Branch Coverage and Modified Condition/Decision Coverage Technique. Int. J. Knowl. Discov. Bioinform. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra
2017	J	`jnl`	J Comput. Stand. Interfaces Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Rajib Mall
2016	C	`conf`	Java-HCT: An approach to increase MC/DC using Hybrid Concolic Testing for Java programs. FedCSIS Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra
2016	J	`jnl`	Making a concolic tester achieve increased MC/DC. Innov. Syst. Softw. Eng. Sangharatna Godboley, Arpita Dutta, Durga Prasad Mohapatra, Avijit Das, Rajib Mall
2016	—	`conf`	Measuring Branch Coverage for the SOA Based Application Using Concolic Testing. ICACDS Arpita Dutta, Sangharatna Godboley, Durga Prasad Mohapatra
2015	—	`conf`	ABCE: A Novel Framework for Improved Branch Coverage Analysis. SCSE Sangharatna Godboley, Arun Sahani, Durga Prasad Mohapatra
2015	Misc	`conf`	SMCDCT: A Framework for Automated MC/DC Test Case Generation Using Distributed Concolic Testing. ICDCIT Sangharatna Godboley, Subhrakanta Panda, Durga Prasad Mohapatra