On the public citation graph
Smart Contract Repair
0 signed · 111 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/3-540-45356-3_83openalex-snapshot
A Fast Elitist Non-dominated Sorting Genetic Algorithm for Multi-objective Optimization: NSGA-II
inferredcites →https://doi.org/10.1007/978-3-030-03427-6_33openalex-snapshot
Computing Exact Worst-Case Gas Consumption for Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-030-31500-9_19openalex-snapshot
Practical Mutation Testing for Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-319-89722-6_10openalex-snapshot
A Semantic Framework for the Security Analysis of Ethereum Smart Contracts
inferredcites →https://doi.org/10.1007/978-3-540-27813-9_41openalex-snapshot
MCK: Model Checking the Logic of Knowledge
inferredcites →https://doi.org/10.1007/978-3-662-53357-4_6openalex-snapshot
Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
inferredcites →https://doi.org/10.1007/978-3-662-54455-6_8openalex-snapshot
A Survey of Attacks on Ethereum Smart Contracts (SoK)
inferredcites →https://doi.org/10.1007/s10664-013-9282-8openalex-snapshot
Mining software repair models for reasoning on the search space of automated program fixing
inferredcites →https://doi.org/10.1016/bs.adcom.2018.03.015openalex-snapshot
Mutation Testing Advances: An Analysis and Survey
inferredcites →https://doi.org/10.1109/icse.2015.63openalex-snapshot
DirectFix: Looking for Simple Program Repairs
inferredcites →https://doi.org/10.1109/icws.2017.54openalex-snapshot
Blockchain Based Data Integrity Service Framework for IoT Data
inferredcites →https://doi.org/10.1109/tse.2011.104openalex-snapshot
GenProg: A Generic Method for Automatic Software Repair
inferredcites →https://doi.org/10.1109/tse.2016.2560811openalex-snapshot
Nopol: Automatic Repair of Conditional Statement Bugs in Java Programs
inferredcites →https://doi.org/10.1109/wetseb.2019.00008openalex-snapshot
Slither: A Static Analysis Framework for Smart Contracts
inferredcites →https://doi.org/10.1145/1985793.1985795openalex-snapshot
A practical guide for using statistical tests to assess randomized algorithms in software engineering
inferredcites →https://doi.org/10.1145/2568225.2568254openalex-snapshot
The strength of random search on automated program repair
inferredcites →https://doi.org/10.1145/2610384.2628055openalex-snapshot
Defects4J: a database of existing faults to enable controlled testing studies for Java programs
inferredcites →https://doi.org/10.1145/2786805.2786811openalex-snapshot
Staged program repair with condition synthesis
inferredcites →https://doi.org/10.1145/2976749.2978309openalex-snapshot
Making Smart Contracts Smarter
inferredcites →https://doi.org/10.1145/2993600.2993611openalex-snapshot
Formal Verification of Smart Contracts
inferredcites →https://doi.org/10.1145/3092703.3098225openalex-snapshot
JFIX: semantics-based repair of Java programs via symbolic PathFinder
inferredcites →https://doi.org/10.1145/3106237.3106262openalex-snapshot
A feasibility study of using automated program repair for introductory programming assignments
inferredcites →https://doi.org/10.1145/3158136openalex-snapshot
Online detection of effectively callback free objects with applications to smart contracts
inferredcites →https://doi.org/10.1145/3167084openalex-snapshot
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
inferredcites →https://doi.org/10.1145/3183440.3183485openalex-snapshot
An extensible, regular-expression-based tool for multi-language mutant generation
inferredcites →https://doi.org/10.1145/3238147.3238177openalex-snapshot
ContractFuzzer: fuzzing smart contracts for vulnerability detection
inferredcites →https://doi.org/10.1145/3338906.3341175openalex-snapshot
EVMFuzzer: detect EVM vulnerabilities via fuzz testing
inferredcites →https://doi.org/10.14722/ndss.2018.23082openalex-snapshot
ZEUS: Analyzing Safety of Smart Contracts
inferredcites →https://doi.org/10.3929/ethz-b-000312914openalex-snapshot
Gas Cost Analysis for Ethereum Smart Contracts
inferredcites →https://doi.org/10.48550/arxiv.1811.06099openalex-snapshot
On the specification and verification of atomic swap smart contracts
inferredcites →https://doi.org/10.48550/arxiv.1908.03707openalex-snapshot
Mutation Testing for Ethereum Smart Contract
inferredcites →https://doi.org/10.5555/2486788.2486890openalex-snapshot
SemFix: program repair via semantic analysis
inferredcites →https://doi.org/10.5555/2818754.2818863openalex-snapshot
Caramel: detecting and fixing performance problems that have non-intrusive fixes
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-17108-6_14openalex-snapshot
Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-95761-1_5openalex-snapshot
HCC: A Language-Independent Hardening Contract Compiler for Smart Contracts
inferred← citeshttps://doi.org/10.1007/978-3-032-13377-9_9openalex-snapshot
GasGuard: An LLM-Based Automated Gas Vulnerability Detection and Mitigation System
inferred← citeshttps://doi.org/10.1007/978-981-19-2976-2_13openalex-snapshot
Cybersecurity Considerations in Blockchain-Based Solutions
inferred← citeshttps://doi.org/10.1007/978-981-96-0354-1_11openalex-snapshot
Automatic Inspection of Static Application Security Testing (SAST) Reports via Large Language Model Reasoning
inferred← citeshttps://doi.org/10.1007/978-981-96-6232-6_13openalex-snapshot
SmartAR: Gas-Efficient Automated Repair for Integer Overflow Vulnerabilities in Smart Contracts
inferred← citeshttps://doi.org/10.1007/s10270-023-01143-zopenalex-snapshot
A refinement-based approach to safe smart contract deployment and evolution
inferred← citeshttps://doi.org/10.1007/s10515-023-00392-yopenalex-snapshot
Tips: towards automating patch suggestion for vulnerable smart contracts
inferred← citeshttps://doi.org/10.1007/s10515-024-00418-zopenalex-snapshot
DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts
inferred← citeshttps://doi.org/10.1007/s10664-025-10780-5openalex-snapshot
Bridging the gap: a comparative study of academic and developer approaches to smart contract vulnerabilities
inferred← citeshttps://doi.org/10.1007/s11432-022-3803-9openalex-snapshot
When debugging encounters artificial intelligence: state of the art and open challenges
inferred← citeshttps://doi.org/10.1007/s12083-021-01268-2openalex-snapshot
A survey on security in consensus and smart contracts
inferred← citeshttps://doi.org/10.1016/j.cosrev.2022.100492openalex-snapshot
Blockchain verification and validation: Techniques, challenges, and research directions
inferred← citeshttps://doi.org/10.1016/j.eswa.2025.128431openalex-snapshot
Comprehensive review of smart contract and DeFi security: Attack, vulnerability detection, and automated repair
inferred← citeshttps://doi.org/10.1016/j.ijin.2025.11.005openalex-snapshot
Enhancing blockchain network security: A targetable machine learning model for effective vulnerability repair
inferred← citeshttps://doi.org/10.1016/j.infsof.2023.107221openalex-snapshot
A survey on smart contract vulnerabilities: Data sources, detection and repair
inferred← citeshttps://doi.org/10.1016/j.jnca.2024.103984openalex-snapshot
DFier: A directed vulnerability verifier for Ethereum smart contracts
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111787openalex-snapshot
An empirical study on real bug fixes from solidity smart contract projects
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111918openalex-snapshot
Extending the range of bugs that automated program repair can handle
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112107openalex-snapshot
ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contracts
inferred← citeshttps://doi.org/10.1016/j.knosys.2021.107312openalex-snapshot
Ponzi scheme detection via oversampling-based Long Short-Term Memory for smart contracts
inferred← citeshttps://doi.org/10.1108/ijlma-03-2024-0086openalex-snapshot
Integrating smart contracts into the legal framework of Saudi Arabia
inferred← citeshttps://doi.org/10.1109/apsec65559.2024.00027openalex-snapshot
Enhancing Reentrancy Vulnerability Detection and Repair with a Hybrid Model Framework
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00140openalex-snapshot
Leveraging Mixture-of-Experts Framework for Smart Contract Vulnerability Repair with Large Language Model
inferred← citeshttps://doi.org/10.1109/hpcc64274.2024.00174openalex-snapshot
EtherEditor: Bytecode Defense Framework for Unleashing Proactive Smart Contract Security
inferred← citeshttps://doi.org/10.1109/icsece65727.2025.11256793openalex-snapshot
Dynamic Smart Contract Optimization Algorithm Design—For Multi-level Government Data Collaborative Governance
inferred← citeshttps://doi.org/10.1109/icsip57908.2023.10271091openalex-snapshot
Automatic Patching of Smart Contract Vulnerabilities Based on Comprehensive Bytecode Rewriting
inferred← citeshttps://doi.org/10.1109/icsme55016.2022.00034openalex-snapshot
Smart Money Wasting: Analyzing Gas Cost Drivers of Ethereum Smart Contracts
inferred← citeshttps://doi.org/10.1109/icsme58944.2024.00013openalex-snapshot
VFIX: Facilitating Software Maintenance of Smart Contracts via Automatically Fixing Vulnerabilities
inferred← citeshttps://doi.org/10.1109/ithings-greencom-cpscom-smartdata-cybermatics55523.2022.00067openalex-snapshot
Making Smart Contract Classification Easier and More Effective
inferred← citeshttps://doi.org/10.1109/jiot.2021.3106942openalex-snapshot
ATOM: Architectural Support and Optimization Mechanism for Smart Contract Fast Update and Execution in Blockchain-Based IoT
inferred← citeshttps://doi.org/10.1109/pcds65695.2025.00043openalex-snapshot
LogicRepair: An Empirical Study on Automated Repair of Smart Contract Logic Vulnerabilities Based on Large Language Models
inferred← citeshttps://doi.org/10.1109/prdc67299.2025.00030openalex-snapshot
Automated Vulnerability Repair of Obfuscated and Non-Obfuscated Smart Contracts Using Large Language Models
inferred← citeshttps://doi.org/10.1109/qrs-c63300.2024.00063openalex-snapshot
Search-Based Automated Program Repair: A Survey
inferred← citeshttps://doi.org/10.1109/qrs54544.2021.00075openalex-snapshot
Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques
inferred← citeshttps://doi.org/10.1109/qrs57517.2022.00031openalex-snapshot
Towards Extending the Range of Bugs That Automated Program Repair Can Handle
inferred← citeshttps://doi.org/10.1109/saner56733.2023.00027openalex-snapshot
Security Code Recommendations for Smart Contract
inferred← citeshttps://doi.org/10.1109/tdsc.2022.3200840openalex-snapshot
Correct-by-Design Interacting Smart Contracts and a Systematic Approach for Verifying ERC20 and ERC721 Contracts With VeriSolid
inferred← citeshttps://doi.org/10.1109/techdebt52882.2021.00010openalex-snapshot
Assessing Smart Contracts Security Technical Debts
inferred← citeshttps://doi.org/10.1109/tpds.2022.3177405openalex-snapshot
SmartVM: A Smart Contract Virtual Machine for Fast On-Chain DNN Computations
inferred← citeshttps://doi.org/10.1109/tpds.2022.3232548openalex-snapshot
Securing Deployed Smart Contracts and DeFi With Distributed TEE Cluster
inferred← citeshttps://doi.org/10.1109/tsc.2024.3390433openalex-snapshot
Ethereum Transaction Replay Platform Based on State-Wise Account Input Data
inferred← citeshttps://doi.org/10.1109/tsc.2024.3463394openalex-snapshot
A Survey on Security Analysis Methods of Smart Contracts
inferred← citeshttps://doi.org/10.1109/tse.2025.3590108openalex-snapshot
ACFix: Guiding LLMs With Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
inferred← citeshttps://doi.org/10.1109/tse.2025.3618123openalex-snapshot
Do Automated Fixes Truly Mitigate Smart Contract Exploits?
inferred← citeshttps://doi.org/10.1145/3485832.3488015openalex-snapshot
SolSaviour: A Defending Framework for Deployed Defective Smart Contracts
inferred← citeshttps://doi.org/10.1145/3506800openalex-snapshot
Super-optimization of Smart Contracts
inferred← citeshttps://doi.org/10.1145/3524610.3529157openalex-snapshot
An empirical investigation on the trade-off between smart contract readability and gas consumption
inferred← citeshttps://doi.org/10.1145/3545948.3545975openalex-snapshot
Elysium: Context-Aware Bytecode-Level Patching to Automatically Heal Vulnerable Smart Contracts
inferred← citeshttps://doi.org/10.1145/3551349.3559560openalex-snapshot
Property-Based Automated Repair of DeFi Protocols
inferred← citeshttps://doi.org/10.1145/3571847openalex-snapshot
Securing the Ethereum from Smart Ponzi Schemes: Identification Using Static Features
inferred← citeshttps://doi.org/10.1145/3611643.3616341openalex-snapshot
SmartFix: Fixing Vulnerable Smart Contracts by Accelerating Generate-and-Verify Repair using Statistical Models
inferred← citeshttps://doi.org/10.1145/3637229openalex-snapshot
Smart Contract Code Repair Recommendation based on Reinforcement Learning and Multi-metric Optimization
inferred← citeshttps://doi.org/10.1145/3641846openalex-snapshot
sGuard+: Machine Learning Guided Rule-Based Automated Vulnerability Repair on Smart Contracts
inferred← citeshttps://doi.org/10.1145/3652032.3657570openalex-snapshot
EVMBT: A Binary Translation Scheme for Upgrading EVM Smart Contracts to WASM
inferred← citeshttps://doi.org/10.1145/3699597openalex-snapshot
Automating Comment Generation for Smart Contract from Bytecode
inferred← citeshttps://doi.org/10.1145/3706598.3713887openalex-snapshot
Understanding End-User Perception of Transfer Risks in Smart Contracts
inferred← citeshttps://doi.org/10.1145/3769013openalex-snapshot
Blockchain Smart Contract Security: Threats and Mitigation Strategies in a Lifecycle Perspective
inferred← citeshttps://doi.org/10.1145/3803437.3805223openalex-snapshot
AllocScope: Towards Automated Vetting of Allocation Manipulation in Smart Contracts
inferred← citeshttps://doi.org/10.1145/3803437.3805558openalex-snapshot
SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
inferred← citeshttps://doi.org/10.1145/3816713.3820143openalex-snapshot
Source-Level Detection of Private Data Collection Misuse and Build-Preserving Mitigation of Write-Transaction Return Leakage in LLM-Generated Hyperledger Fabric Chaincode
inferred← citeshttps://doi.org/10.1145/3832257openalex-snapshot
SmartDecompiler-R1: Enhancing Faithful and Explainable Smart Contract Bytecode Decompilation with Reinforcement Learning
inferred← citeshttps://doi.org/10.1145/3832783.3834510openalex-snapshot
RiskScope: Pre-audit Triage for Incentive and Control Risks in Smart Contracts
inferred← citeshttps://doi.org/10.1145/3843776.3844671openalex-snapshot
RAWL: Retrieval-Augmented Smart Contract Repair using Weisfeiler-Lehman-Based Retrieval
inferred← citeshttps://doi.org/10.1155/2021/6126247openalex-snapshot
The Applications of Blockchain in Artificial Intelligence
inferred← citeshttps://doi.org/10.1155/2023/6853902openalex-snapshot
Information Security Protection of Internet of Energy Using Ensemble Public Key Algorithm under Big Data
inferred← citeshttps://doi.org/10.15337/suhfd.1906822openalex-snapshot
THE LEGAL NATURE AND REGULATORY APPROACHES OF SMART CONTRACTS IN INTERNATIONAL TRADE: A COMPARATIVE LEGAL ANALYSIS
inferred← citeshttps://doi.org/10.2139/ssrn.5382161openalex-snapshot
A Targetable Machine Learning Model for Effective Vulnerability Repair in Smart Contracts
inferred← citeshttps://doi.org/10.32604/cmes.2024.046758openalex-snapshot
A Review of Deep Learning-Based Vulnerability Detection Tools for Ethernet Smart Contracts
inferred← citeshttps://doi.org/10.3390/e27030294openalex-snapshot
ESfix: An Embedded Program Repair Tool for Effective Removal of Concurrency Defects
inferred← citeshttps://doi.org/10.3390/electronics13193942openalex-snapshot
Automated Repair of Smart Contract Vulnerabilities: A Systematic Literature Review
inferred← citeshttps://doi.org/10.3390/systems12090381openalex-snapshot
Research on Convergence Media Ecological Model Based on Blockchain
inferred← citeshttps://doi.org/10.4018/978-1-7998-7545-1.ch005openalex-snapshot
Smart Contract and Collaborative Platforms
inferred← citeshttps://doi.org/10.48550/arxiv.2103.10074openalex-snapshot
Blockchain Testing: Challenges, Techniques, and Research Directions
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.