小组研究成果被ACM会议ISSTA 2021接收

清华大学软件系统安全保障小组研究成果“Empirical Evaluation of Smart Contract Testing: What is the Best Choice”被第30届ACM SIGSOFT ISSTA (The ACM SIGSOFT International Symposium on Software Testing and Analysis) 会议接收。

该论文对智能合约安全测试工具做了系统性的调研。研究发现，在当前工具的性能评测过程中，不同的评估指标和实验过程会显著地影响工具的表现，进而可能得出并不准确的实验结论。为克服这一问题，本文设计了一套由多种类别的智能合约所组成的评测数据集，并提出了统一的评估流程和标准。通过实验，本工作进一步总结了当前智能合约测试工具存在的问题，并提出了一些改进方法和研究方向展望。该工作由硕士生任萌、殷梓敬，博士生马福辰等同学共同参与完成。

 ISSTA是关于软件测试和分析方向的高水平会议（CCF A类），今年接收文章51篇，接收率21.9%。该会议每年汇集了来自学术界和工业界的研究人员和从业人员，重点关注软件测试技术和分析技术的创新和改进。