Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Radha Krishna Pisipati
conf.researchr.org general profile
ICST 2024 profile
Not registered as user yet
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
Tue 12 Nov 20:46