2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2025
Validation Framework for E-Contract and Smart Contract
Sangharatna Godboley, P. Radha Krishna, Sunkara Sri Harika +1
We propose and develop a framework for validating smart contracts derived from e-contracts. The goal is to ensure the generated smart contracts fulfil all the conditions outlined i…
cs.PL2020★ 2 cited
TracerX: Dynamic Symbolic Execution with Interpolation
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley +1
Dynamic Symbolic Execution (DSE) is an important method for the testing of programs. An important system on DSE is KLEE which inputs a C/C++ program annotated with symbolic variabl…