近日，软件工程领域国际学术会议ASE 2024 (the 39th IEEE/ACM International Conference on Automated Software Engineering) 在美国加州首府萨克拉门托召开。华东师范大学软件工程学院（滴水湖国际软件学院）博士研究生熊一衡作为论文“General and Practical Property-based Testing for Android Apps”的第一作者到现场参会并在大会上做论文报告。该工作荣获了大会颁发的ACM杰出论文奖 (ACM SIGSOFT Distinguished Paper Award)，这也是熊一衡等去年在ISSTA 2023上获得杰出论文奖后，再次获此殊荣。

ASE 2024杰出论文奖颁奖现场

获奖证书

获奖论文聚焦于移动应用软件业务逻辑功能错误的研究，首次将基于性质测试（Property-based Testing）的思想应用于移动应用软件测试，提出并设计了一种通用且实用的测试方法，旨在发现此类错误。具体来说，该方法包括：(1) 一个性质描述语言（PDL），用于描述移动应用的预期性质；(2) 两种探索策略，作为有效验证这些性质的输入生成器。论文作者将该方法实现为名为Kea的工具，并在八个真实世界中广泛使用的安卓应用中的124个历史错误上进行了评估，评估结果证明了其在发现功能错误方面的通用性和实用性。其中，Kea在这八个应用的最新版本中发现了25个新的功能性错误，其中21个目前已被开发者修复。该获奖论文对应的工具开源在https://github.com/ecnusse/Kea，详细的使用手册可参考https://Kea-doc.readthedocs.io/en/latest/。

基于性质测试的工具Kea概览

获奖论文指导老师为学院苏亭教授和蒲戈光教授，论文由熊一衡（学院2022级博士研究生）、苏亭教授、王珏博士（南京大学）、孙静翎（学院2018级博士研究生，现为电子科技大学助理教授）、蒲戈光教授和苏振东教授（苏黎世联邦理工学院）共同完成。华东师范大学为第一完成单位。

ASE是由国际电气与电子工程师协会和美国计算机协会共同主办，是软件工程领域历史最悠久、最负盛名的国际性盛会之一，在软件工程领域具有重要影响，也是中国计算机学会推荐的A类国际学术会议（CCF-A）。