Mohd Arafat

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Environmental Conditions

Automatically Infer

Top Venues

ICSE (Companion Volume)

Publications

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