Refuting Infeasible Paths for False Alarm Reduction.

Jianbo Chen, Yuanmin Xie, Zheng Zeng, Ran Zhang, Jianping Tang, Min Zhou

Browse the full COMPSAC paper archive.