Conference
Refuting Infeasible Paths for False Alarm Reduction
| Title: | Refuting Infeasible Paths for False Alarm Reduction |
|---|---|
| Authors: | Chen, Jianbo, Xie, Yuanmin, Zeng, Zheng, Zhang, Ran, Tang, Jianping, Zhou, Min |
| Source: | 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) COMPSAC Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual. :303-312 Jul, 2026 |
| Relation: | 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC) |
| Database: | IEEE Xplore Digital Library |
| ISBN: | 9798331544973 9798331544980 |
|---|---|
| ISSN: | 28363795 28363787 |
| DOI: | 10.1109/COMPSAC69091.2026.00051 |