缩写	全称	中文释义
AETG	Automatic Efficient Test Generator	自动高效测试发生器
RTPR	Relative True Positive Rate	相对真阳性率
TP	Transformation Procedure	转换程序
DST	Double Spin Torus	双自旋环面
TLNM	Tangent Linear Normal Model	切线线性法线模型
OCT	Optimized Cardioid Triangle	优化心形三角形
BCHM	Birkar Cascini Hacon McKernan	比尔卡尔·卡西尼·哈康·麦克南
ZF	Zermelo-Fraenkel	策梅洛-弗兰克尔
GOP	Goodness Of Prediction	预测优度
NBM	Number of Basis Matrices	基矩阵数