Nitminer
NITMINERTechnologies PVT. LTD.
Nitminer
NITMINERTechnologies PVT. LTD.

Our Research
Publications.

Scientific Roadmap & Milestones

2025
Core A

Validation Framework for E-Contract and Smart Contract

Sangharatna Godboley, P Radha Krishna, et al.

EASE, ACM, Istanbul, June 2025

2025
Core A

SC-MCC Meta Program Efficiency using Dynamic Symbolic Execution

Monika Rani Golla, Sangharatna Godboley

IEEE ICST 2025, Naples, Italy

2025
Core A

Reporting Unique-Cause MC/DC Score using Formal Verification

Monika Rani Golla, Sangharatna Godboley, et al.

IEEE ICST 2025, Italy

2025
Core A

Automated SC-MCC Test Case Generation using Fuzzing

Monika Rani Golla, Sangharatna Godboley

IEEE ICST 2025, Journal First

2024
Core B

ESBMC v7.7: Automating Branch Coverage Analysis

Wei, C., Wu, T., Godboley, S., et al.

FASE, 2024

2024
Core A

VeriSol-MCE: Condition Coverage Analysis of Smart Contracts

Sangharatna Godboley, P. Radha Krishna

IEEE ICST 2024, Toronto