时时彩-重庆时时彩 xjssc073_百家乐玩法官网_新全讯网334422开奖结果 (中国)·官方网站

2024年畢業于日本廣島大學先進理工學部，情報科學專業，獲工學博士學位，主要從事軟件可靠性領域的相關研究，包括形式化方法，程序分析，錯誤檢測等。近年來，在相關會議和期刊上發表文章數篇，并作為評審委員會成員參與與組織國際會議。

形式化方法，程序分析，軟件錯誤檢測等（目前正專注大模型的相關應用，歡迎有興趣的學生聯系，一起研究與探索更多的研究課題）

論文

1. Program Segment Testing for Human-Machine Pair Programming. International Journal of Software Engineering and Knowledge Engineering.
2. Testing Program Segments to Detect Runtime Exceptions in Java. International Workshop on Structured Object-Oriented Formal Language and Method.
3. An integrated formal method combining labeled transition system and Event-B for system model refinement. IEEE Access.
4. Testing Program Segments to Detect Software Faults during Programming. International Journal of Performability Engineering.
5. A LTS Approach to Control in Event‐B. Scientific Programming.
6. LTS Semantics Model of Event-B Synchronization Control Flow Design Pattern. Journal of Information Processing Systems.
7. Modeling the Embedded Control System using iUML-B Pattern State Machine. Journal of Control Science and Engineering

專利

1. 一種融合切片測試和形式驗證的運行時異常檢測方法.