Chao Li, Zhixuan Wang, Rui Chen, Mengfei Yang. intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program. In 23rd IEEE International Conference on Software Quality, Reliability, and Security, QRS 2023, Chiang Mai, Thailand, October 22-26, 2023. pages 562-568, IEEE, 2023. [doi]
Abstract is missing.