摘要
补充材料
可供下载
拉杰夫·阿鲁尔(Rajeev Alur)、洛里斯·德安东尼(Loris D'Antoni)、苏米特·古尔瓦尼(Sumit Gulwani)、迪利普·基尼(Dileep Kini)和马赫斯·维斯瓦纳坦(Mahesh Viswanathan)。 2013年,DFA结构的自动分级。 程序中。 IJCAI公司。 谷歌学者 科沙·阿拉吉。 2014.谷歌文档具有完整的“跟踪更改”单词集成。 2019年7月8日检索自 https://www.upcurvecloud.com/blog/google-docs-has-full-track-changes-word-integration网站/ 谷歌学者 克里斯特尔·拜尔(Christel Baier)和朱斯特·佩特尔·卡托恩(Joost-Pieter Katoen)。 2008年,《模型检查原则》(表现与思维系列)。 麻省理工学院出版社。 谷歌学者 数字图书馆 Will Brackenbury、Abhimanyu Deora、Jillian Ritchey、Jason Valley、Weijia He、Guan Wang、Michael L。 Littman和Blase Ur。 2019.用户如何解释触发动作编程中的错误。 程序中。 芝加哥。 谷歌学者 数字图书馆 A.J.Bernheim Brush、Bongshin Lee、Ratul Mahajan、Sharad Agarwal、Stefan Saroiu和Colin Dixon。 2011年,《野外家庭自动化:挑战与机遇》。 程序中。 芝加哥。 谷歌学者 数字图书馆 尼科·卡斯泰利(Nico Castelli)、科琳娜·奥戈诺夫斯基(Corinna Ogonowski)、蒂莫·雅科比(Timo Jakobi)、马丁·斯坦(Martin Stein)、冈纳·史蒂文斯(Gunnar Stevens)和沃尔克·沃尔夫(Volker Wulf)。 2017年,我家发生了什么? 智能家居数据可视化的最终用户开发方法。 程序中。 芝加哥。 谷歌学者 Ryan Chard、Kyle Chard、Jason Alt、Dilworth Y。 帕金森、史蒂夫·图克和伊恩·福斯特。 2017.瑞波:用于研究数据管理的家庭自动化。 程序中。 ICDCSW。 谷歌学者 交叉引用 瑞安·查德(Ryan Chard)、拉斐尔·维斯科维(Rafael Vescovi)、杜明(Ming Du)、李汉玉(Hanyu Li)、凯尔·查德(Kyle Chard),史蒂夫·图埃克(Steve Tuecke)、纳拉亚南·卡斯图里(Narayanan Kasthuri。 2018年,高通量神经解剖学和触发动作编程:研究自动化的案例研究。 程序中。 人工智能科学。 谷歌学者 数字图书馆 斯文·库珀斯(Sven Coppers)、戴维·瓦纳肯(Davy Vanacken)和克里斯·卢伊滕(Kris Luyten)。 2020年,FORTNIoT:智能预测,提高用户对智能家居行为的理解。 PACM IMWUT 4,4(2020年)。 谷歌学者 数字图书馆 富尔维奥·科诺(Fulvio Corno)、路易吉·德鲁西斯(Luigi De Russis)和阿尔贝托·蒙格·罗法雷洛(Alberto Monge Roffarello)。 2019.授权终端用户调试触发器操作规则。 程序中。 芝加哥。 谷歌学者 数字图书馆 富尔维奥·科诺(Fulvio Corno)、路易吉·德鲁西斯(Luigi De Russis)和阿尔贝托·蒙格·罗法雷洛(Alberto Monge Roffarello)。 2019.我的物联网难题:通过拼图隐喻调试IF-THEN规则。 程序中。 是的。 谷歌学者 交叉引用 Loris D'antoni、Dileep Kini、Rajeev Alur、Sumit Gulwani、Mahesh Viswanathan和Björn Hartmann。 2015.自动反馈如何帮助学生构建自动化? TOCHI(2015)。 谷歌学者 本·弗朗西斯。 2019.推出Mozilla WebThings。 2019年7月8日检索自 https://hacks.mozilla.org/2019/04/introduction-mozilla-webthings/ 谷歌学者 朱塞佩·吉亚尼、马可·曼卡、法比奥·帕特诺和卡门·桑托罗。 2017.通过触发操作规则个性化上下文相关应用程序。 TOCHI(2017)。 谷歌学者 埃琳娜L。 格拉斯曼、杰里米·斯科特、里沙布·辛格、菲利普·J。 郭和罗伯特·C。 米勒。 2015.OverCode:可视化大规模编程问题学生解决方案的变化。 程序。 TOCHI(2015)。 谷歌学者 数字图书馆 里德·霍姆斯和盖尔·C。 墨菲。 2005.使用结构上下文推荐源代码示例。 程序中。 ICSE。 谷歌学者 Justin Huang和Maya Cakmak。 2015.支持触发动作编程中的心理模型准确性。 程序中。 优步公司。 谷歌学者 数字图书馆 IEEE和The Open Group。 2018.diff于2019年1月5日检索自 https://pubs.opengroup.org/onlinepubs/9699919799/utilities/diff.html 谷歌学者 IFTTT公司。 2019.IFTTT帮助您的应用程序和设备协同工作。 检索日期:2019年7月6日 网址:https://iftt.com/ 谷歌学者 Iman Keivanloo、Juergen Rilling和Ying Zou。 2014.识别工作代码示例。 程序中。 ICSE。 谷歌学者 数字图书馆 艾米·J。 Ko、Robin Abraham、Laura Beckwith、Alan Blackwell、Margaret Burnett、Martin Erwig、Chris Scaffidi、Joseph Lawrance、Henry Lieberman、Brad Myers、Mary Beth Rosson、Gregg Rothermel、Mary Shaw和Susan Wiedenbeck。 2011年,《最终用户软件工程的最新技术》,计算机。 调查(2011年)。 谷歌学者 艾米·J。 Ko和Brad A。 迈尔斯。 2004.设计Whyline:一个用于询问程序行为问题的调试界面。 程序中。 芝加哥。 谷歌学者 Sandeep Kaur Kuttal、Anita Sarma、Gregg Rothermel和Zhendong Wang。 2018年。我的申请发生了什么? 通过变体管理帮助最终用户理解进化。 IST(2018)。 谷歌学者 Abner Li.2019年。 谷歌文档推出了专用的“比较文档”工具。 2019年7月8日检索自 https://9to5google.com/2019/06/11/google-docs-compare-documents网站/ 谷歌学者 Chieh-Jan Mike Liang、Lei Bu、Zhao Li、Junbei Zhang、Shi Han、Börje F。 卡尔森、张冬梅和赵峰。 2016.楼宇自动化物联网控制系统正确性系统调试。 程序中。 构建系统。 谷歌学者 数字图书馆 马可·曼卡、法比奥、帕特诺、卡门·桑托罗和卢卡·科切拉。 2019.支持最终用户调试物联网应用的触发操作规则。 IJHCS(2019)。 谷歌学者 爱德华·J。 麦克卢斯基。 1986。逻辑设计原则,重点是可测试半定制电路。 Prentice-Hall,Inc.,美国。 谷歌学者 Sarah Mennicken、David Kim和Elaine May Huang。 2016年,将智能家居集成到数字日历中。 程序中。 芝加哥。 谷歌学者 数字图书馆 Aaron Meurer 2017年。 SymPy:Python中的符号计算。 PeerJ计算机科学(2017)。 谷歌学者 Mi Xianghang、Feng Qian、Ying Zhang和XiaoFeng Wang。 2017年,IFTTT的实证特征:生态系统、使用和性能。 程序中。 IMC公司。 谷歌学者 数字图书馆 Mozilla。 2018年,发布“Project Things”-一个将您的设备连接到网络的开放框架。 检索日期:2019年7月8日 https://blog.mozilla.org/blog/2018/02/06/announcing-project-tings-open-framework-connecting-devices-web/ 谷歌学者 MSFTMan公司。 2019.在Microsoft flow中创建流。 2019年7月8日检索自 https://docs.microsoft.com/en-us/flow/get-started-logic-flow 谷歌学者 邦妮A。 纳尔迪。 1993.编程的一个小问题:最终用户计算的观点。 麻省理工学院出版社。 谷歌学者 数字图书馆 克里斯汀·M。 Neuwirth、Ravinder Chandhok、David S。 考弗、保罗·埃里昂、詹姆斯·莫里斯和戴尔·米勒。 1992年。协作写作系统中的灵活差异。 程序中。 CSCW公司。 谷歌学者 数字图书馆 Matija Novak、Mike Joy和Dragutin Kermek。 2019.学术界使用的源代码相似性检测和检测工具:系统综述。 TOCE(2019)。 谷歌学者 数字图书馆 马克·奥托。 2014.引入分割差异。 2019年7月6日检索自 https://github.blog/2014-09-03-introduction-slit-diffs/ 谷歌学者 斯特凡·帕兰(Stefan Palan)和克里斯蒂安·席特(Christian Schitter)。 2018.Prolific.ac-在线实验的主题库。 JBEF(2018)。 谷歌学者 米塔利·帕勒卡尔(Mitali Palekar)、厄伦斯·费尔南德斯(Earlence Fernandez)和弗兰齐斯卡·罗斯纳(Franziska Roesner)。 2019.智能家居编程接口对最终用户错误的敏感性分析。 程序。 SafeThings(2019年)。 谷歌学者 交叉引用 杰米·皮博迪。 2019.与Mergely(一个编辑器和HTML5 javascript库)联机提供差异文本文档。 2019年7月6日检索自 http://www.mergely.com网站/ 谷歌学者 Eyal Peer、Laura Brandimarte、Sonam Samat和Alessandro Acquisti。 2017年,《超越土耳其:众包行为研究的替代平台》。 JESP(2017)。 谷歌学者 安德烈亚·皮西特罗(Andrea Piscitello),亚历山德罗(Alessandro A.)。 纳奇、文森佐·拉纳、马可·D·。 Santambrogio和Donatella Sciuto。 2016年,多租户智能建筑规则集最小化。 程序中。 CSE、EUC和DCABES。 谷歌学者 交叉引用 贾斯汀·波特。 2019.什么是版本历史记录以及如何在谷歌文档中使用它? 检索日期:2019年7月8日 https://zapier.com/apps/google-docs/tutorials/google-docs-revision-history 谷歌学者 阿米尔·拉赫马蒂(Amir Rahmati)、厄伦斯·费尔南德斯(Earlence Fernandes)、贾永荣(Jaeyon Jung)和阿图尔·普拉卡什(Atul Prakash)。 2017年,IFTTT vs.Zapier:触发动作编程框架的比较研究。 CoRR(2017)。 谷歌学者 Milijana Surbatovich、Jassim Aljuraidan、Lujo Bauer、Anupam Das和Limin Jia。 2017.一些食谱不仅会破坏你的食欲:分析IFTTT食谱的安全和隐私风险。 程序中。 WWW网站。 谷歌学者 数字图书馆 铃木良彦、古斯塔沃·苏亚雷斯、安德鲁·黑德、埃琳娜·格拉斯曼、阮丽斯、梅丽娜·蒙吉奥维、洛里斯·达安东尼和比约恩·哈特曼。 2017.TraceDiff:使用跟踪差异调试意外的代码行为。 程序中。 VL/HCC。 谷歌学者 交叉引用 Blase Ur、Elyse McManus、Melwyn Pak Yong Ho和Michael L。 利特曼。 2014.智能家居中的实际触发动作编程。 程序中。 芝加哥。 谷歌学者 数字图书馆 Blase Ur、Melwyn Pak Yong Ho、Stephen Brawner、Jiyun Lee、Sarah Mennicken、Noah Picard、Diane Schulze和Michael L。 利特曼。 2016年,《野外触发动作编程:对200000种IFTTT食谱的分析》。 程序中。 芝加哥。 谷歌学者 数字图书馆 斯维特兰娜·亚罗什和帕梅拉·扎夫。 2017.是否锁定 物联网特征交互的心理模型。 程序中。 芝加哥。 谷歌学者 数字图书馆 扎皮尔。 2019.扎皮尔的工作原理。 2019年7月6日检索自 https://zapier.com/help/how-zapier-works网站/ 谷歌学者 张乐凡、何维嘉、杰西·马丁内斯、诺亚·布拉肯伯里、山路和布莱斯·乌尔。 2019.AutoTap:使用LTL属性合成和修复触发操作程序。 程序中。 ICSE。 谷歌学者 数字图书馆 张乐凡、何维嘉、奥利维娅·莫克维德、瓦莱丽·赵、迈克尔·L。 Littman、Shan Lu和Blase Ur。 2020年,Trace2TAP:根据行为痕迹合成触发行动计划。 PACM IMWUT 4,3(2020年)。 谷歌学者 数字图书馆 赵刚和黄杰夫。 2018.DeepSim:深度学习代码功能相似性。 程序中。 ESEC/FSE。 谷歌学者 数字图书馆 Valerie Zhao、Lefan Zhang、Bo Wang、Michael L.Littman、Shan Lu和Blase Ur。 2021.通过程序差异的新可视化来理解触发动作程序的补充材料。 https://www.blaseur.com/papers/chi21-programdiff-appendix.pdf 谷歌学者
建议
帮助用户调试触发器操作程序 触发操作编程(TAP)使大量用户能够自动化物联网(IoT)设备。 然而,对于用户来说,在第一次尝试时创建完全正确的触发操作程序(TAP)可能是一项挑战,需要调试。。。 用户如何解释触发动作编程中的错误 CHI'19:2019年CHI计算机系统人为因素会议记录 触发操作编程(TAP)是一种编程模型,使用户可以通过编写if-then规则来连接服务和设备。 由于此类系统部署在越来越复杂的场景中,用户必须能够识别编程错误和原因。。。 野外触发动作编程:20万IFTTT配方分析 CHI’16:2016年计算机系统人为因素大会论文集 虽然研究人员长期以来一直在使用触发器-动作(if-then)模型研究最终用户编程,但网站IFTTT是大规模使用此范式的首批实例之一。 为了了解IFTTT用户正在创建什么,我们删去了。。。