2 papers
cs.SE2026
SF: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
Lianjing Wang, Yufeng Zhang, Kenli Li +5
Hybrid testing that integrates fuzzing, symbolic execution, and sampling has demonstrated superior testing efficiency compared to individual techniques. However, the state-of-the-a…
cs.DB2025
Efficient Partition-based Approaches for Diversified Top-k Subgraph Matching
Liuyi Chen, Yuchen Hu, Zhengyi Yang +3
Subgraph matching is a core task in graph analytics, widely used in domains such as biology, finance, and social networks. Existing top-k diversified methods typically focus on max…