Improving the accuracy of static analysis based on state partition.

Dalin Zhang, Hailong Zhang, Dahai Jin, Yunzhan Gong

Browse the full ISSRE paper archive.