Benjamin C. Pierce

Tyche：理解基于属性的测试有效性

Goldstein 等人开发 Tyche 工具，通过交互式可视化界面展示属性基测试的全局行为和单个输入效果，整合现代开发者测试工作流，显著提升测试有效性评估准确性。