学術論文誌(査読付)

[1] Takeshi Sumi, Osamu Mizuno, Tohru Kikuno, and Masayuki Hirayama, "An Effective Testing Method for Hardware Related Fault in Embedded Software," IEICE Trans. on Information and Systems, volume E88-D, number 6, pages 1142-1149, June 2005.

[2] Masayuki Hirayama, Osamu Mizuno, and Tohru Kikuno, "Test Item Prioritizing Metrics for Selective Software Testing," IEICE Trans. on Information and Systems, volume E87-D, number 12, pages 2733-2743, December 2004.

国際会議(査読付)

[1] Mingyue Jiang, Tsong Yueh Chen, Fei-Ching Kuo, Zuohua Ding, Eun-Hye Choi, and Osamu Mizuno, "A Revisit of the Integration of Metamorphic Testing and Test Suite Based Automated Program Repair," In Proc. of 2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (MET2017) (In conjunction with ICSE2017), pages 14-20, May 2017.

[2] Eun-Hye Choi, Tsuyoshi Fujiwara, and Osamu Mizuno, "Weighting for Combinatorial Testing by Bayesian Inference," In Proc. of 10th IEEE International Conference on Software Testing Verification and Validation Workshop (ICST2017), Posters track, pages 189-191, March 2017.

[3] Eun-Hye Choi, Osamu Mizuno, and Yifan Hu, "Code Coverage Analysis of Combinatorial Testing," In Proc. of 4th International Workshop on Quantitative Approaches to Software Quality (QuASoQ 2016), pages 34-40, December 2016.

[4] Eun-Hye Choi, Cyrille Artho, Takashi Kitamura, Osamu Mizuno, and Akihisa Yamada, "Distance-Integrated Combinatorial Testing," In Proc. of 27th International Symposium on Software Reliability Engineering (ISSRE2016), pages 93-104, October 2016.

[5] Eun-Hye Choi, Shunya Kawabata, Osamu Mizuno, Cyrille Artho, and Takashi Kitamura, "Test Effectiveness Evaluation of Prioritized Combinatorial Testing: a Case Study," In Proc. of the 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS2016), pages 61-68, August 2016.

[6] 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.

[7] Osamu Mizuno, Eijiro Shigematsu, Yasunari Takagi, and Tohru Kikuno, "On Estimating Testing Effort Needed to Assure Field Quality in Software Development," In Proc. of 13th International Symposium on Software Reliability Engineering (ISSRE2002), pages 139-146, November 2002.

[8] Sousuke Amasaki, Takashi Yoshitomi, Osamu Mizuno, Tohru Kikuno, and Yasunari Takagi, "Statistical Analysis of Time Series Data on the Number of Faults Detected by Software Testing," In Proc. of 11th Asian Test Symposium (ATS02), pages 272-277, November 2002.

[9] Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, and Tohru Kikuno, "Elimination of Crucial Faults by a New Selective Testing Method," In Proc. of 1st Internationl Symposium on Empirical Software Engineering (ISESE2002), pages 183-191, October 2002.

[10] Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, and Tohru Kikuno, "Elimination of Crucial Faults for Embedded Software Using Functional Priority Testing," In Proc. of 6th International Conference on Probabilistic Safety Assessment and Management (PSAM6), pages 715-721, June 2002.

[11] Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, and Tohru Kikuno, "A Selective Software Testing Method Based on Priorities Assigned to Functional Modules," In Proc. of 2nd Asia-Pacific Conference on Quality Software (APAQS2001), pages 259-267, December 2001.

[12] Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, and Tohru Kikuno, "Generating Test Items for Checking Illegal Behaviors in Software Testing," In Proc. of 9th Asian Test Symposium (ATS2000), pages 235-240, December 2000.

国内会議(査読付)

[1] 西浦 生成, 崔 銀惠, 水野 修, "ロジスティック回帰分析を用いた組合せテストの不具合特定法の提案," FOSEソフトウェア工学の基礎研究会(FOSE2016), pages 243-244, 2016年12月.

研究会・全国大会等

[1] Eun-Hye Choi and Osamu Mizuno, "Towards Quality Improvement and Analysis of Combinatorial Testing," In ウィンターワークショップ2017・イン・飛騨高山, pages 13-14, January 2017.

[2] 重松 英二郎, 水野 修, 菊野 亨, 高木 徳生, "フィールド不具合数を許容値以下に抑えるためのソフトウェアテスト工数の推定モデルの提案," 電子情報通信学会技術研究報告, volume 101, number 629, SS2001-35, pages 9-15, 2002年1月.

[3] 平山 雅之, 山本 徹也, 岡安 二郎, 水野 修, 菊野 亨, "機能モジュールに対する優先度に基づいた選択的ソフトウェアテスト手法の提案," 電子情報通信学会技術研究報告, volume 101, number 97-98, SS2001-6, pages 1--8, 2001年5月.

学位論文

[1] 藤原 剛史, "ベイズ推定による優先度付き組み合わせテストの改良と不具合発見傾向の評価," 修士学位論文, 京都工芸繊維大学 大学院工芸科学研究科, 2017年.