Our Publications
Darshan Lohiya, Monika Rani Golla, Sangharatna Godboley and Radha Krishna Pisipati
Poster: gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing, 17th IEEE International Conference on Software Testing, Verification and Validation (ICST-2024) Toronto, Canada, 2024 (Core A) (Accepted)
Sangharatna Godboley and Radha Krishna Pisipati
Poster: VeriSol-MCE: Verification-based condition coverage analysis of Smart Contracts using Model Checker Engines, 17th IEEE International Conference on Software Testing, Verification and Validation (ICST-2024) Toronto, Canada, 2024 (Core A) (Accepted)
Sangharatna Godboley, Bikash Singha, Monika Rani Golla and P. R Krishna
Umask-afl: unmasking all reachable targets for comprehensive agile fuzzing, 39th ACM/SIGAPP Symposium On Applied Computing, Avila, Spain (Core B) (Accepted)
Sangharatna Godboley
Smart Contract Analysis, Tutorial, 39th ACM/SIGAPP Symposium On Applied Computing, Avila, Spain. (Core B) (Accepted)
Golla Monika Rani, Sangharatna Godboley, Joxan Jaffar, Rasool Maghareh
SC-MCC Test Case Generation using Dynamic Symbolic Execution Engines, 4th International KLEE Workshop on Symbolic Execution, 15–16 April 2024, Lisbon, Portugal, Co-located with ICSE 2024 (Core A*) (Accepted)
Kanika Gupta, Sangharatna Godboley
Towards Complete Fuzzing with KLEE, 4th International KLEE Workshop on Symbolic Execution, 15–16 April 2024, Lisbon, Portugal, Co-located with ICSE 2024 (Core A*) (Accepted)
Sangharatna Godboley, P. Radha Krishna, and Ritesh Kumar Jha
2024. Atomic Condition Coverage Analysis for Structured Text Based Programmable Logic Controller (PLC). In Proceedings of the 17th Innovations in Software Engineering Conference (ISEC '24). Association for Computing Machinery, New York, NY, USA, Article 16, 1–5. https://dl.acm.org/doi/10.1145/3641399.3641427 (Published)
Sangharatna Godboley
An Extensive Investigation of Condition Reachability using CBMC: Study on Negative Results, IEEE 20th India Council International Conference (INDICON), 2023. https://ieeexplore.ieee.org/document/10440808 (Published)
Sangharatna Godboley, Radha Krishna Pisipati, Gaurav Raj
Study on Unknown Bugs for Smart Contracts using Echidna, IEEE 20th India Council International Conference (INDICON), 2023. https://ieeexplore.ieee.org/document/10440926 (Published)
Sangharatna Godboley, Radha Krishna Pisipati, Sai Naik T. Venkat, Lakshita Choudhary
An Efficient Energy Consumption of a Miner Node in a Local Blockchain Network, IEEE 20th India Council International Conference (INDICON), 2023. https://ieeexplore.ieee.org/document/10440868 (Published)
Sangharatna Godboley, Monika Rani Golla, P. Radha Krishna
SC-MCC: A Stronger Code Coverage Criterion, 23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023), Chiang Mai, Thailand, 2023.(Core-C) https://ieeexplore.ieee.org/document/10430050 (Published)
Sangharatna Godboley, P. Radha Krishna, Aditya Joshi, Ishita Gupta, Rahul Khatav
Smart Contract Test Case Prioritization based on Frequency and Gas Consumption, 23rd IEEE International Conference on Software Quality, Reliability, and Security (QRS 2023), Chiang Mai, Thailand, 2023. (Core-C) https://ieeexplore.ieee.org/document/10429967 (Published)
Sangharatna Godboley
VeriCombTest: Automated Test Case Generation Technique Using a Combination of Verification and Combinatorial Testing, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, Prague, Czech Republic, 2023. (Core-B) https://www.scitepress.org/publishedPapers/2023/117587/pdf/index.html (Published)
Sangharatna Godboley, G. Rani, S. Nenavath
Carbon-Box Testing, Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, Prague, Czech Republic, 2023.(Core-B) https://www.scitepress.org/publishedPapers/2023/117689/pdf/index.html (Published)
Sangharatna Godboley, P. Radha Krishna
SmartMuVerf: A Mutant Verifier for Smart Contracts, 18th International conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023), Prague, Czech Republic, 2023.(Core-B) https://www.scitepress.org/publishedPapers/2023/118222/pdf/index.html (Published)
Monika Rani Golla, Sangharatna Godboley
GMutant: A gCov based Mutation Testing Analyser, Proceedings of the 16th Innovations in Software Engineering Conference (ISEC '23), Association for Computing Machinery, 2023. https://dl.acm.org/doi/10.1145/3578527.3578546 (Published)
Sangharatna Godboley, Shantanu Agarwal, P. Radha Krishna
Cyclomatic Complexity Analyst for Smart Contract Using Control Flow Graph, International Conference on Computing, Communication and Learning (COCOLE), 2022. https://link.springer.com/chapter/10.1007/978-3-031-21750-0_6 (Published)