小组研究论文被第30届ACM ISSTA接收


清华大学软件系统安全保障小组研究成果论文“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%。该会议每年汇集了来自学术界和工业界的研究人员和从业人员,重点关注软件测试技术和分析技术的创新和改进。