ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contracts.
Ruiyao HuangQingni ShenYuchen WangYiqi WuZhonghai WuXiapu LuoAnbang RuanPublished in: J. Syst. Softw. (2024)
Keyphrases
- semantically equivalent
- natural language
- fully automatic
- supply chain
- domain specific
- semi automatic
- smart environments
- semantic similarity
- semantic concepts
- genetic algorithm
- database systems
- semantic level
- semantically meaningful
- semantic search
- conceptual graphs
- semantic features
- semantic web technologies
- data sets
- semantic information
- semantic web
- logic programs
- high level