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

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

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

▲學(xué)院2021級(jí)直博生葉銘熙作《Detecting State Inconsistency Bugs in DApps via On-Chain Transaction Replay and Fuzzing》論文報(bào)告

▲學(xué)院2021級(jí)博士生廖澤欽作《SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis》論文報(bào)告

▲學(xué)院鄭子彬教授指導(dǎo)的博士生孔雀屏作《DeFiTainter: Detecting Price Manipulation Vulnerabilities in DeFi Protocols》論文報(bào)告

▲學(xué)院2022級(jí)直博生莫一凡作《Toward Automated Detecting Unanticipated Price Feed in Smart Contract》論文報(bào)告

▲學(xué)院2022級(jí)直博生楊碩作《Definition and Detection of Defects in NFT Smart Contracts》論文報(bào)告

附：必贏官網(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