Adrian Sampson：测试用例自动精简 (www.cs.cornell.edu)

本文介绍了如何使用自动化工具 Shrinkray 对测试用例进行精简，以快速定位代码中的错误。作者以调试一个解释器 bug 为例，详细讲解了编写 Shrinkray 可用的“interestingness test”脚本的技巧和步骤，包括如何判断测试用例是否触发了 bug，如何避免误判，以及如何在需要时手动干预精简过程等。