Author

Heyuan Shi

2 papers indexed here

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.

#software testing Book Oct 2026

FPSieve: LLM-Powered Cascade for Filtering False Positives in OS Migration Testing

Results show that FPSieve can reduce false positives, reduce manual effort, and improve OS migration validation throughput, on a large scale OS migration differential testing dataset collected from industrial practice.

Jie Dong, Ying Fu, Chao Hu et al. · 0 citations

Book Open access Jul 2026

Shark2Pit: Automated Test Template Generation for Protocol Fuzzing Based on Packet Parser

Shark2Pit is an automated tool that generates Pit files from network traffic that uses Tshark to parse traffic, extract protocol metadata, and construct data models, and combines these models with predefined configurations to generate a Pit file.

Yu-Lai Fu, Yuan-Liang Chen, Fu-Chen Ma et al. · SIGSOFT FSE Companion · 0 citations