24 citations · 44 across the 13 of their papers we have counts for
1 paper · 1 filter
Yicheng Guang, Pietro Zanotta, Kai Zhou +2
Classical program analysis techniques, such as abstract interpretation and symbolic execution, are essential for ensuring software correctness, optimizing performance, and enabling…