An Efficient Smart Contracts Event Ordering Vulnerability Detection System Based on Symbolic Execution and Fuzz Testing.
Yitao LiBaojiang CuiDongbin WangYue YuCan ZhangPublished in: IMIS (2024)
Keyphrases
- symbolic execution
- test generation
- static analysis
- event detection
- test data generation
- source code
- specification language
- data flow
- test cases
- penetration testing
- databases
- description language
- artificial intelligence
- machine vision
- orders of magnitude
- formal specification
- test set
- distributed systems
- object oriented
- supply chain
- search algorithm
- web services