SPEAR applies multi-agent systems with planning, execution, and repair agents using negotiation protocols to smart contract auditing and compares it empirically to centralized and pipeline approaches.
Journal of Cases on Information Technology (JCIT) 21, 19–32 (01 2019)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.MA 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
SPEAR: An Engineering Case Study of Multi-Agent Coordination for Smart Contract Auditing
SPEAR applies multi-agent systems with planning, execution, and repair agents using negotiation protocols to smart contract auditing and compares it empirically to centralized and pipeline approaches.