Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, D. Richard Kuhn. SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph. In 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2023, Paris, France, October 11-13, 2023. pages 1-8, IEEE, 2023. [doi]
Abstract is missing.