Precise Sparse Abstract Execution via Cross-Domain Interaction

Open Webpage

Xiao Cheng, Jiawei Wang, Yulei Sui

Published: 2024, Last Modified: 09 Jan 2026ICSE 2024EveryoneRevisionsBibTeXCC BY-SA 4.0