Lefan Zhang 最新论文
Zhang 等人首次对用户调试触发-动作程序进行实证研究，发现用户面临多重障碍，并开发两种基于SAT求解的工具帮助用户利用隐式或显式反馈成功修复自动化错误。
Zhao 等人设计触发-动作程序差异可视化界面，利用形式化方法识别程序结果差异，在107人实验中显著提升用户选择程序的准确性。
https://hci.top/zh/authors/7071?source=all