学術論文誌(査読付)

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

[2] Osamu Mizuno, Daisuke Shimoda, Tohru Kikuno, and Yasunari Takagi, "Enhancing Software Project Simulator Toward Risk Prediction with Cost Estimation Capability," IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, volume E84-A, number 11, pages 2812-2821, November 2001.

国際会議(査読付)

[1] Takahiro Ando, Shinji Kawasaki, Eun-Hye Choi, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshioka, Keisuke Shimatani, Munekazu Furuichi, and Osamu Mizuno, "Development of Formal Model Based Test -- Toward Automatic Testing Framework for Embedded Systems --," In Proc. of 22nd International Symposium on Software Reliability Engineering (ISSRE2011), Supplemental proceedings, number 4-4, November 2011.

テクニカルレポート

[1] Eun-Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, and Osamu Mizuno, "Sens - Specification Language for Embedded Network Systems - Toward Automatic Test Generation (Preliminary Version)," number PS-2011-002, Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, August 2011.

研究会・全国大会等

[1] 畑 秀明, 森井 亮介, 水野 修, 菊野 亨, "不具合修正履歴の理解に向けたソースコードの変更解析," ウィンターワークショップ2010・イン・倉敷 論文集, pages 3-4, 2010年1月.