Sign in
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