List view 国内会議(査読付)[1] 井上 蒼士, 崔 恩瀞, 西浦 生成, 水野 修, "形式手法による開発において報告された問題のトピックモデルによる分析," ソフトウェアシンポジウム2024論文集, 採録済. 学位論文[1] 井上 蒼士, "形式検証されたソフトウェアに対して報告された問題のトピックモデルによる傾向調査," 卒業研究報告書, 京都工芸繊維大学, 2024年2月.