饒磊
文章作者：
責(zé)任編輯：唐亮
審核人：
文章來(lái)源：
| 基本信息 |
|---|
 | 饒磊，男，講師，碩士生導(dǎo)師
郵件地址：rl15829292198 at gmail dot com |
| 個(gè)人簡(jiǎn)歷 |
|---|
2024年畢業(yè)于日本廣島大學(xué)先進(jìn)理工學(xué)部，情報(bào)科學(xué)（軟件工程）專(zhuān)業(yè)，獲工學(xué)博士學(xué)位，主要從事軟件可靠性領(lǐng)域的相關(guān)研究，包括形式化方法，程序分析，錯(cuò)誤檢測(cè)等。近年來(lái)，在相關(guān)會(huì)議和期刊上發(fā)表文章數(shù)篇，并作為評(píng)審委員會(huì)成員參與與組織國(guó)際會(huì)議。 |
| 主要研究方向 |
|---|
形式化方法，程序分析，軟件錯(cuò)誤檢測(cè)等（目前正專(zhuān)注與大模型結(jié)合的相關(guān)應(yīng)用，歡迎有興趣的學(xué)生聯(lián)系，一起研究與探索更多的研究課題） |
| 代表性成果 |
|---|
論文 1.Program Segment Testing for Human-Machine Pair Programming. International Journal of Software Engineering and Knowledge Engineering.
2.Testing Program Segments to Detect Software Faults during Programming. International Journal of Performability Engineering.
3.Testing Program Segments to Detect Runtime Exceptions in Java. International Workshop on Structured Object-Oriented Formal Language and Method.
4.An integrated formal method combining labeled transition system and Event-B for system model refinement. IEEE Access.
5.Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification. 2025 IEEE 36th International Symposium on Software Reliability Engineering (ISSRE). 專(zhuān)利 1.一種融合切片測(cè)試和形式驗(yàn)證的運(yùn)行時(shí)異常檢測(cè)方法. |
更新時(shí)間：2026-03-25
