2023年7月17日至21日，第32屆軟件測試與分析國際會議ISSTA（the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis， ISSTA 2023）在美國西雅圖召開。必贏官網(wǎng)多位師生參加該會議并作報告。

ISSTA是軟件工程領域公認的權威性頂級會議之一，創(chuàng)辦于1992年，也被中國計算機學會（CCF）推薦國際學術會議和期刊列為A類會議。該會議旨在為研究人員、從業(yè)者和教育工作者提供關于軟件測試與分析領域中最新的理論技術、趨勢、經(jīng)驗及問題的交流與分享機會。

必贏官網(wǎng)多位師生參加該會議并作報告

▲學院2021級直博生葉銘熙作《Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing》論文報告

▲學院2021級博士生廖澤欽作《SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis》論文報告

▲學院鄭子彬教授指導的博士生孔雀屏作《DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols》論文報告

▲學院2022級直博生莫一凡作《Toward Automated Detecting Unanticipated Price Feed in Smart Contract》論文報告

▲學院2022級直博生楊碩作《Definition and Detection of Defects in NFT Smart Contracts》論文報告

附：必贏官網(wǎng)被錄用論文情況：

1. DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols

Queping Kong, Jiachi Chen, Yanlin Wang, Zigui Jiang, Zibin Zheng

2. Toward Automated Detecting Unanticipated Price Feed in Smart Contract

Yifan Mo, Jiachi Chen, Yanlin Wang, Zibin Zheng

3. Definition and Detection of Defects in NFT Smart Contracts

Shuo Yang, Jiachi Chen, Zibin Zheng

4. Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing

Mingxi Ye, Yuhong Nan, Zibin Zheng,  Dongpeng Wu, HuiZhong Li

5. SmartState : Detecting State-reverting Vulnerabilities in Smart Contracts via Fine-grained State-dependency Analysis

Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng

6.Towards Efficient Fine-tuning of Pre-trained Code Models: An Experimental Study and Beyond

Ensheng Shi, Yanlin Wang, Hongyu Zhang, Lun Du, Shi Han, Dongmei Zhang, Hongbin Sun

7. Re2BERT: A Two-stage Pre-trained Framework for Automatic Rename Refactoring

Hao Liu, Yanlin Wang, Zhao Wei, Yong Xu, Juhong Wang, Hui Li, Rongrong Ji