Li, Chi, Zhou, Min, Gu, Zuxing, Gu, Ming, Zhang, Hongyu. Institute of Electrical and Electronics Engineers (IEEE); 2019. Ares: Inferring error specifications through static analysis.