Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations.

Chengsong Wang, Zhenbang Chen, Xiaoguang Mao

Browse the full RV paper archive.