- 学術論文誌(査読付)
- [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.