NITMiner Technologies Private Limited

Home
Our Team Publications Awards
Licenses Tools
TrustInn
Careers Gallery Contact

Our Achievements

Sangharatna Godboley and Radha Krishna Pisipati

Poster: VeriSol-MCE: Verification-based condition coverage analysis of Smart Contracts using ModelChecker Engines

17th IEEE International Conference on Software Testing, Verification and Validation (ICST-2024) Toronto, Canada, 2024 (Core A)

Sangharatna Godboley

Smart Contract Analysis, Tutorial

39th ACM/SIGAPP Symposium On Applied Computing, Avila, Spain. (CoreB)

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

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 InternationalConference (INDICON), 2023 https://ieeexplore.ieee.org/document/10440868

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

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

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

Sangharatna Godboley, P. Radha Krishna

Sol-Repairer: Solidity Smart Contract Dead Code Repairer

18th Innovations in Software Engineering Conference (ISEC 2025) to be organized at Computer Engg Dept,NIT Kurukshetra, during February 20-22, 2025

Sangharatna Godboley

RECOGNITION award in the Research Excellence (Teaching Faculty-National) category IEI NMLC FCRIT Excellence Awards 2023

Institution of Engineers (India) [IEI] 2023

Sangharatna Godboley

Runner Up award in the Academic Excellence (Teaching Faculty-National) category IEI NMLC FCRIT Excellence Awards 2024

Institution of Engineers (India) [IEI] 2024