Using consensus to automatically infer post-conditions.

Jingyi Su Mohd Arafat Robert Dyer

Published in: ICSE (Companion Volume) (2018)

Keyphrases

automatically infer
sufficient conditions
color and texture information
multimedia
image segmentation
object recognition
environmental conditions
data sets
databases
artificial intelligence
website
case study
computer science
mobile robot