Precise Sparse Abstract Execution via Cross-Domain Interaction.

Xiao Cheng, Jiawei Wang, Yulei Sui

Browse the full ICSE paper archive.