Cyrus Zhou

帮助用户调试触发-动作程序

Zhang 等人首次对用户调试触发-动作程序进行实证研究，发现用户面临多重障碍，并开发两种基于SAT求解的工具帮助用户利用隐式或显式反馈成功修复自动化错误。