Certora

FEDT：支持HCI制作研究中实验设计与执行的工具

Savage 等人开发FEDT工具，通过领域特定语言标准化HCI制作实验设计流程，实现42个实验的建模和两个已发表实验的端到端复现，提升研究的可复现性。