A Memory Model Based on Three-Valued Matrix for Static Defect Detection.

Qian Wang, Dahai Jin, Yunzhan Gong

Browse the full ISSRE paper archive.