学術論文誌(査読付)

[1] 西浦 生成, 水野 修, 崔 恩瀞, "Javaテストコードの再利用による自動生成に向けた移植可能なテストメソッドの調査," 情報処理学会論文誌, volume 62, number 4, pages 1019-1028, 2021年4月.

国際会議(査読付)

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