2024

International Conference

[1] Soshi Inoue, Eunjong Choi, Kinari Nishiura, and and Osamu Mizuno, "Analyzing the Impact of Formal Methods on Isuue Trends Using BERTopic", Proc. of 22nd International Conference on Software Engineering Research, Management and Applications (SERA2024), May 2024.

Domestic Conference

[1] Soshi Inoue, Eunjong Choi, Kinari Nishiura, and and Osamu Mizuno, "形式手法による開発において報告された問題のトピックモデルによる分析", ソフトウェア・シンポジウム2024論文集, pp. 122-130, June 2024.

Thesis

[1] Soshi Inoue, "形式検証されたソフトウェアに対して報告された問題のトピックモデルによる傾向調査",    卒業研究報告書, 京都工芸繊維大学, 2024.