Sangharatna Godboley
National Institute of Technology, Warangal
H-index: 12
Asia-India
Top articles of Sangharatna Godboley
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
TracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution) | Arpita Dutta Rasool Maghareh Joxan Jaffar Sangharatna Godboley Xiao Liang Yu | 2024/4/6 | |
Automated SC-MCC Test Case Generation using Bounded Model Checking for Safety-Critical Applications | Expert Systems with Applications | Monika Rani Golla Sangharatna Godboley | 2024/3/15 |
Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC) | Sangharatna Godboley P Radha Krishna Ritesh Kumar Jha | 2024/2/22 | |
Carbon-Box Testing. | Sangharatna Godboley Monika Rani Golla Sindhu Nenavath | 2023 | |
Reporting Code Coverage at Requirement Phase Using SPIN Model Checker | Golla Monika Rani Akshay Kumar Sangharatna Godboley Ravichandra Sadam | 2023/6/28 | |
An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results | Sangharatna Godboley | 2023/12/14 | |
VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing. | Sangharatna Godboley | 2023 | |
Comparison between Performance of Constraint Solver for Prediction Model in Symbolic Execution | Meenakshi Tripathi Shadab Khan Sangharatna Godboley | 2023/3/30 | |
Study on Unknown Bugs for Smart Contracts using Echidna | Sangharatna Godboley P Radha Krishna Gaurav Raj | 2023/12/14 | |
SmartMuVerf: A Mutant Verifier for Smart Contracts. | Sangharatna Godboley P Radha Krishna | 2023 | |
Agile GUI Testing by computing novel Mobile App Coverage Using Appium Tool | Sangharatna Godboley Debasish Dalei Ravichandra Sadam Durga Prasad Mohapatra | 2023/3/27 | |
SC-MCC: A Stronger Code Coverage Criterion | Sangharatna Godboley Monika Rani Golla P Radha Krishna | 2023/10/22 | |
Gmutant: A gcov based mutation testing analyser | Monika Rani Golla Sangharatna Godboley | 2023/2/23 | |
Smart Contract Test Case Prioritization based on Frequency and Gas Consumption | Sangharatna Godboley P Radha Krishna Aditya Joshi Ishita Gupta Rahul Khatav | 2023/10/22 | |
2nd Recent Advances in Program Analysis and Software Testing (RAPAST-2023) | Sangharatna Godboley Durga Prasad Mohapatra | 2023/2/23 | |
PRCMHFL: A Fault Localization Technique Based on Predicate Ranking and CMH Method | Sangharatna Godboley Shubhank Kulshreshtha Prayanshu Agarwal B Ranilbala | 2023/10/22 | |
An Efficient Energy Consumption of a Miner Node in a Local Blockchain Network | Sangharatna Godboley P Radha Krishna T Venkat Sai Naik Lakshita Choudhary | 2023/12/14 | |
Agility based coverage improvement | Swadhin Kumar Barisal Arpita Dutta Sangharatna Godboley Bibhudatta Sahoo Durga Prasad Mohapatra | 2022/1/12 | |
Cyclomatic complexity analysis for smart contract using control flow graph | Shantanu Agarwal Sangharatna Godboley P Radha Krishna | 2022/10/27 | |
Towards agile mutation testing using branch coverage based prioritization technique | Sangharatna Godboley Durga Prasad Mohapatra | 2022/1/12 |