Generating precise error specifications for C: a zero shot learning approach. - Baijun Wu; John Peter Campora III; Yi He 007; Alexander Schlecht; Sheng Chen 008 (Proc. ACM Program. Lang., 2019)