引用Dreossi T, Ghosh S, Yue X, et al. Counterexample-guided data augmentation[J]. arXiv preprint arXiv:1805.06962, 2018.
致谢本文由南京大学软件学院 2019 级硕士张朱佩田翻译转述 。

• 智能手机市场|华为再拿第一！27%的份额领跑全行业，苹果8%排在第四名！
• 会员|美容院使用会员管理软件给顾客更好的消费体验！
• 行业|现在行业内客服托管费用是怎么算的
• 人民币|天猫国际新增“服务大类”，知舟集团提醒入驻这些类目的要注意
• 国外|坐拥77件专利，打破国外的垄断，造出中国最先进的家电芯片
• 技术|做“视频”绿厂是专业的，这项技术获人民日报评论点赞
• 面临|“熟悉的陌生人”不该被边缘化
• 中国|浅谈5G移动通信技术的前世和今生
• 页面|如何简单、快速制作流程图？上班族的画图技巧get
• 桌面|日常使用的软件及网站分享 篇一：几个动态壁纸软件和静态壁纸网站：助你美化你的桌面