Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Donghai Tian

h-index 11 View on Semantic Scholar

We have 1 of 51 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Aug 2026

SymDict: A novel hybrid fuzzing method based on symbolic dictionaries

The proposed SymDict, a hybrid fuzzing system based on symbolic dictionaries, reduces redundant symbolic execution by performing constraint solving only at uncovered branches in frontier basic blocks, and partitions constraint sets into solvable subsets, combines solutions with offset information to create symbolic dic...

Chengyu Fei, Jia-Jun Sun, Donghai Tian et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.