Using consensus to automatically infer post-conditions. - Jingyi Su; Mohd Arafat; Robert Dyer 001 (ICSE (Companion Volume), 2018)