解説
[1] 畑秀明, 水野修, 菊野亨, "不具合予測に関するメトリクスについての研究論文の系統的レビュー," コンピュータソフトウェア, volume 29, number 1, pages 106-117 2012年2月.
[2] 中村匡秀, 菊野亨, "通信サービスにおけるフィーチャーインタラクション検出へのペトリネットの応用," システム/制御/情報, volume 45, number 8, pages 451--460 2001年8月.
論文誌
[1] 畑秀明, 水野修, 菊野亨, "開発履歴メトリクスを用いた細粒度なFault-proneモジュール予測," 情報処理学会論文誌, volume 53, number 6, pages 1635-1643 2012年6月.
[2] 畑秀明, 森井亮介, 水野修, 菊野亨, "不具合修正に関わるメソッド呼び出しの変更についての定量的分析," 情報処理学会論文誌, volume 52, number 2, pages 801-816 2011年2月.
[3] Hideaki Hata, Osamu Mizuno, and Tohru Kikuno, "Fault-Prone Module Detection Using Large-Scale Text Features Based on Spam Filtering," Empirical Software Engineering, volume 15, number 2, pages 147-165 April 2010.
[4] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Design and Evaluation of Feature Interaction Filtering with Use Case Maps," NECTEC Technical Journal , volume 5, number 16, pages 581-597 December 2005.
[5] パッタラ・リーラープルット, 中村匡秀, 松本健一, 菊野亨, "Use Case Maps を用いたサービス競合可能シナリオの導出と実験的評価," 電子情報通信学会論文誌, volume J88-B, number 7, pages 1237-1247 2005年7月.
[6] Masahide Nakamura, Pattara Leelaprute, Ken-ichi Matsumoto, and Tohru Kikuno, "On Detecting Feature Interactions in Programmable Service Environment of Internet Telephony," Journal of Computer Networks, volume 45, number 5, pages 605--624 August 2004.
[7] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Feature Interaction Detection by Bounded Model Checking," IEICE Transactions on Information and Systems, volume E86-D, number 12, pages 2579--2587 December 2003.
[8] 坂本啓司, 田中敏文, 楠本真二, 松本健一, 菊野亨, "利益予測に基づくソフトウェアプロセス改善の試み," 電子情報通信学会論文誌D-I, volume J83-D-I, number 7, pages 740--748 2000年9月.
[9] Masahide Nakamura and Tohru Kikuno, "Exploiting Symmetric Relation for Efficient Feature Interaction Detection," IEICE Trans. on Information and Systems, volume E72-D, number 10, pages 1352--1363 October 1999.
[10] Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, and Kitsutaro Amano, "A Protocol Synthesis Method for Fault-Tolerant Multipath Routing," Information and Software Technology, volume 41, number 11, pages 745--754 September 1999.
[11] Masahide Nakamura and Tohru Kikuno, "A New Approach in Feature Interaction Testing," INTEGRATION the VLSI journal, volume 26, pages 211--223 December 1998.
[12] Lin Lian, Shinji Kusumoto, Tohru Kikuno, Ken-ichi Matsumoto, and Koji Torii, "A New Fault Localizing Method for Program Debugging Process," Information and Software Technology, volume 39, pages 271--284 April 1997.
[13] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "On Constructing Communication Protocols from Component-Based Service Specifications," Journal of Computer Communications, volume 19, number 14, pages 1200--1215 December 1996.
[14] Yoshiaki Kakuda, Masahide Nakamura, and Tohru Kikuno, "Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives," IEICE Trans. Fundamentals, volume E77-A, number 10, pages 1634--1645 October 1994.
[15] Yoshiaki Kakuda, Yoshihiro Takada, and Tohru Kikuno, "On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels," IEICE Transactions on Fundamentals, volume E77-A, number 4, pages 658--667 April 1994.
[16] Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno, and Kazuhiro Tanaka, "Improvement of Software Development Process by Using Fault Tolerant Techniques," Journal of Computer Systems Science and Engineering, volume 9, number 2, pages 83--88 April 1994.
[17] 楠本真二, 松本健一, 菊野亨, 鳥居宏次, "ペトリネットによるプログラム開発演習のモデル化とそのモデルによるプログラマ作業効率の定量的評価," 電子情報通信学会論文誌D-!), volume J76-D-!), number 9, pages 484--492 1993年9月.
国際会議
[1] Hideaki Hata, Osamu Mizuno, and Tohru Kikuno, "Bug Prediction Based on Fine-Grained Module Histories," In Proc. of 34th International Conference on Software Engineering (ICSE 2012), pages 200-210 June 2012.
[2] Hideaki Hata, Osamu Mizuno, and Tohru Kikuno, "Inferring Restructuring Operations on Logical Structure of Java Source Code," In Proc. of 3rd International Workshop on Empirical Software Engineering in Practice (IWESEP2011), pages 17-22 November 2011.
[3] Hideaki Hata, Osamu Mizuno, and Tohru Kikuno, "Historage: Fine-Grained Version Control System for Java," In Proc. of 12th International Workshop on Principles of Software Evolution and 7th Annual ERCIM Workshop on Software Evolution, pages 96-100 September 2011.
[4] Hideaki Hata, Osamu Mizuno, and Tohru Kikuno, "Reconstructing Fine-Grained Versioning Repositories with Git for Method-Level Bug Prediction," In Proc. of International Workshop on Empirical Software Engineering in Practice 2010 (IWESEP2010), pages 27-32 December 2010.
[5] Hideaki Hata, Osamu Mizuno, and Tohru Kikuno, "Comparative Study of Fault-Proneness Filtering with Pmd," In Proc. of 19th International Symposium on Software Reliability Engineering (ISSRE2008), pages 317-318 November 2008.
[6] Hideaki Hata, Osamu Mizuno, and Tohru Kikuno, "An Extension of Fault-Prone Filtering Using Precise Training and a Dynamic Threshold," In Proc. of 5th Working Conference on Mining Software Repositories (MSR2008), pages 89-97 May 2008.
[7] Takafumi Matsuo, Pattara Leelaprute, Tatsuhiro Tsuchiya, Tohru Kikuno, Masahide Nakamura, Hiroshi Igaki, and Ken-ichi Matsumoto, "Automatically Verifying Integrated Services in Home Network Systems," In International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2006), volume II, pages 173-176 July 2006.
[8] Pattara Leelaprute, Masahide Nakamura, Tatsuhiro Tsuchiya, Ken-ichi Matsumoto, and Tohru Kikuno, "Describing and Verifying Integrated Services of Home Network Systems," In Proc. of 12th Asia-Pacific Software Engineering Conference (APSEC 2005), pages 549-558 December 2005.
[9] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Definition and Detection of Semantic Warnings for Voicexml," In Proc. of the IASTED International Conference on Software Engineering (IASTED SE 2005), pages 91--98 February 2005.
[10] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Defining Semantic Guideline in XML-based Programmable Service Environment," In Proc. of the 10th Intetnational Symposium on Pacific Rim Dependable Computing (PRDC2004), volume Fast Abstracts, pages 15--16 March 2004.
[11] Pattara Leelaprute, Masahide Nakamura, Ken-ichi Matsumoto, and Tohru Kikuno, "Evaluating Semantic Warnings in Voip Programmable Services with Open Source Environment," In Proc. of the 10th Asia Pacific Software Engineering Conference (APSEC2003), pages 552--561 December 2003.
[12] Tomoyuki Yokogawa, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services by Bounded Model Checking," In Proc. 2003 International Technical Conference on Circuits/Systems, volume Computers and Communications (ITC-CSCC2003), number 3, pages 1807--1810 July 2003.
[13] Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto, and Tohru Kikuno, "Detecting Script-To-Script Interactions in Call Processing Language," In Proc. 7th Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'03), pages 215--230 July 2003.
[14] Masahide Nakamura, Pattara Leelaprute, Ken'ichi Matsumoto, and Tohru Kikuno, "Semantic Warnings and Feature Interaction in Call Processing Language on Internet Telephony Authors," In In Proc. Symposium on Applications and the Internet (SAINT2003), pages 283--291 January 2003.
[15] Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Services with a Sat Solver," In Proc. of 2002 Pacific Rim International Symposium on Dependable Computing (PRDC'02) , pages 131--134 December 2002.
[16] Pattara Leelaprute, Masahide Nakamura, and Tohru Kikuno, "Detecting Semantic Ambiguity in Service Description of Internet Telephony," In Proc. of the Sixth National Computer Science and Engineering Conference (NCSEC2002), pages 57--62 October 2002.
[17] Pattara Leelaprute, Masahide Nakamura, and Tohru Kikuno, "Characterizing Semantic Warnings of Service Description in Call Processing Language on Internet Telephony," In In Proc. International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC2002), July 2002.
[18] Tatsuhiro Tsuchiya. Masahide Nakamura and Tohru Kikuno, "Symbolic Approaches to Feature Interaction Detection," In In Proc. IEEE Conference on Dependable Systems and Networks (ICDSN-2002), June 2002.
[19] Masahide Nakamura, Pattara Leelaprute, and Tohru Kikuno, "Deriving Interaction-Prone Scenarios in Feature Interaction Filtering with Use Case Maps," In Seventh IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS2002), pages 237--244 January 2002.
[20] Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, and Tohru Kikuno, "Detecting Feature Interactions in Telecommunication Systems by Symbolic Model Checking," In 16th International Conference on Information Networking (ICOIN-16), 8B2.1-2.11 January 2002.
[21] Masahide Nakamura, Tohru Kikuno, Jameleddine Hassine, and Luigi Logrippo, "Feature Interaction Filtering with Use Case Maps at Requrements Stage," In Proc. of Sixth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'00), pages 163--178 May 2000.
[22] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Feature Interaction Detection Using Permutation Symmetry," In Proc. of Fifth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'98), pages 187--201 September 1998.
[23] Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A Synthesis Method for Fault-Tolerant and Flexible Multipath Routing Protocols," In Proc. of Int'l Conf. on Engineering of Complex Computer Systems (ICECCS'97), pages 96--105 September 1997.
[24] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Petri Net Based Detection Method for Non-Deterministic Feature Interactions and Its Experimental Evaluation," In Proc. of Fourth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'97), pages 138--152 June 1997.
[25] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri Net Model," In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'97), pages 1253--1260 April 1997.
[26] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "An Integration-Oriented Approach to Designing Communication Protocols from Component-Based Service Specifications," In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'96), pages 1157--1164 March 1996.
[27] 楠本真二, 松本健一, 菊野亨, 鳥居宏次, "A Model-Based Approach for Software Test Process Improvement," Proceedings of First IFIP/SQI International Conference on Software Quality and Productivity, pages 200--307 1994年12月.
[28] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Protocol Synthesis from Acyclic Formed Service Specifications," In Proc. of Int'l. Conf. on Information Networking (ICOIN'94), pages 177--182 December 1994.
[29] Ken-ichi Matsumoto, Shinji Kusumoto, Tohru Kikuno, and Koji Torii, "A New Framework of Measuring Software Development Processes," Proc. of International Software Metrics Symposium, pages 108-118 May 1993.
国内会議(査読付き)
[1] 畑秀明, 水野修, 菊野亨, "開発履歴メトリクスに基づくFault-proneモジュール予測の細粒度モジュールへの適用," ソフトウェアエンジニアリングシンポジウム2011(SES2011), number 4, 2011年9月.
[2] 畑秀明, 水野修, 菊野亨, "リポジトリ再構築によるメソッドトレーサビリティの実現," ソフトウェアエンジニアリングシンポジウム2010 (SES2010), pages 57-62 2010年8月.
[3] 畑秀明, 水野修, 菊野亨, "負例を用いない機械学習によるfault-proneモジュール検出," ソフトウェアエンジニアリングシンポジウム2009 (SES2009), pages 133-138 2009年9月.
表彰・受賞
[1] 畑秀明, 水野修, 菊野亨, "日本信頼性学会2009年度優秀賞," 日本信頼性学会, 2010年5月.
研究会・全国大会等
[1] 畑秀明, 水野修, 菊野亨, "不具合予測に関する開発履歴メトリクス研究のサーベイ," ソフトウェア信頼性研究会第7回ワークショップ(FORCE2011)論文集, number 3-1, 2011年11月.
[2] 畑秀明, 水野修, 菊野亨, "ソースコードの構造に対する体系的変更内容の復元," 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, volume 111, number 168, pages 31-36 2011年7月.
[3] 畑秀明, 水野修, 菊野亨, "メソッドに対するコメント文記述の変更履歴とメソッドの不具合との関係に関する実証的考察," 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, volume 110, number 336, pages 13-18 2010年12月.
[4] 森井亮介, 畑秀明, 水野修, 菊野亨, "メソッド呼び出しに関する不具合修正での変更作業の分析," 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, volume 109, number 456, pages 55-60 2010年3月.
[5] 畑秀明, 森井亮介, 水野修, 菊野亨, "開発履歴データのマイニングによるメソッド呼び出し修正の定量的分析," ソフトウェア信頼性研究会第6回ワークショップ(FORCE2010)論文集, pages 55-62 2010年3月.
[6] 畑秀明, 森井亮介, 水野修, 菊野亨, "不具合修正履歴の理解に向けたソースコードの変更解析," ウィンターワークショップ2010・イン・倉敷 論文集, pages 3--4 2010年1月.
[7] 森井亮介, 畑秀明, 水野修, 菊野亨, "プログラム依存グラフを用いた不具合修正の解析," SES2009併設ワークショップ 「ソフトウェア開発マネジメントのための測定と分析」, 2009年9月.
[8] 畑秀明, 水野修, 菊野亨, "スパムフィルタリングに基づくフォールトプローンモジュール検出器の開発," 日本信頼性学会第17回春季信頼性シンポジウム, number 17, pages 23-26 2009年6月.
[9] 平松道久, 畑秀明, 水野修, 菊野亨, "フォールトプローンモジュール検出器における事前学習効果検証," ソフトウェア信頼性研究会第5回ワークショップ(FORCE2009)論文集, pages 35-41 2009年3月.
[10] パッタラ・リーラープルット, 中村匡秀, 井垣宏, 松本健一, 菊野亨, "ホームネットワークシステムにおけるサービス競合の分類と解消について," 電子情報通信学会技術研究報告, volume 105, number 628, pages 055-060 2006年3月.
[11] パッタラリーラープルット, 中村匡秀, 菊野亨, "サービス競合フィルタリングにおける競合可能シナリオの導出の評価," 情処研報, volume 2001-SE-134, pages 29--35 2001年10月.
[12] 瀧友和, 中村匡秀, 菊野亨, "CPLで記述したサービスのサービス競合の分類," 情処研報, volume 2001-SE-134, pages 37-44 2001年10月.
[13] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A New Method Using Permutation Symmetry for Feature Interaction Detection and Its Experimental Evaluation," In 信学技法, volume CST98-2, page 38611 May 1998.
[14] 池田拓郎, 中村匡秀, 菊野亨, "通信サービスにおけるユーザニーズの保証|フィーチャーインタラクションの解決に向けて|," 信学技報, volume FTS98-55, pages 37--44 1998年5月.
[15] 中村匡秀, 角田良明, 菊野亨, "二次記憶を利用したサービス仕様検証支援," 電子情報通信学会1997年ソサイエティ大会, volume D, number 3, page 3 1997年9月.
[16] 池田拓郎, 中村匡秀, 角田良明, 菊野亨, "非決定性フィーチャーインタラクションに対するP-インバリアントに基づく検出法の実験的評価," 信学技報, volume SS97-6, page 38611 1997年5月.
[17] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Detection Algorithm for Non-Deterministic Feature Interactions Using Petri-Net," In 信学技報, volume SS96-57, page 38611 March 1997.
[18] Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A Synthesis Method for Fault-Tolerant Multipath Routing Protocols in Connectionless Networks," In 信学技報, volume SSE96-93, pages 109--114 September 1996.
[19] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "An Analysis Method of Non-Determinism in Telecommunication Service Specifications Using a High Level Petri-Net Model," In 信学技報, volume IN96-33, pages 13--20 July 1996.
[20] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "通信サービス仕様解析のための高レベルペトリネットモデル," In 信学技報, volume SSE95-152, pages 217--224 March 1996.
[21] 中村匡秀, 角田良明, 菊野亨, "部品に基づいたサービス仕様からのプロトコル合成," 第5回通信ソフトウェア工学研究会, 1994年12月.
[22] 中村匡秀, 角田良明, 菊野亨, "複数のプリミティブが並列実行可能なサービス仕様からのプロトコル仕様の自動合成," 信学技報, volume SSE94-37, pages 85--90 1994年4月.