Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Radha Krishna Pisipati
conf.researchr.org general profile
ICST 2024 profile
Not registered as user
Name:
Radha Krishna Pisipati
Contributions
2024
ICST
Author of VeriSol-MCE: Verification-based condition coverage analysis of Smart Contracts using Model Checker Engines within the Posters-track
Author of gptCombFuzz: Combinatorial Oriented LLM Seed Generation for effective Fuzzing within the Posters-track
Share
x
Sun 22 Dec 04:27