PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification

Zhenwu Xu, Jinan Shen, Peng Luo, Fang Liang. PVcon: Localizing Hidden Concurrency Errors With Prediction and Verification. IEEE Access, 8:165373-165386, 2020. [doi]

Authors

Zhenwu Xu

This author has not been identified. Look up 'Zhenwu Xu' in Google

Jinan Shen

This author has not been identified. Look up 'Jinan Shen' in Google

Peng Luo

This author has not been identified. Look up 'Peng Luo' in Google

Fang Liang

This author has not been identified. Look up 'Fang Liang' in Google