Fadul Sikder

According to our database, Fadul Sikder authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph.

Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, D. Richard Kuhn

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023