MF Researcher Database

Researchers Database

Advance

Takagi Tomohiko

  • Faculty of Engineering and Design
  • Department of Engineering and Design
  • Graduate School of Science for Creative Emergence
  • Division of Science for Creative Emergence
  • Professor
Last Updated :2026/06/24

Researcher Information

J-Global ID

Research Interests

  • software engineering   

Research Areas

  • Informatics / Software

Academic & Professional Experience

  • 2018/04 - Today  Kagawa UniversityFaculty of Engineering and Design准教授
  • 2013/09 - 2018/03  Kagawa UniversityFaculty of Engineering講師
  • 2008/04 - 2013/08  Kagawa UniversityFaculty of Engineering助教

Education

  •        - 2007/03  Kagawa University  工学研究科博士後期課程  信頼性情報システム工学専攻
  •        - 2004/03  Kagawa University  工学研究科修士課程  信頼性情報システム工学専攻
  •        - 2002/03  Kagawa University  Faculty of Engineering  Department of Reliability-based Information Systems Engineering

Association Memberships

  • Information Processing Society of Japan   Institute of Electronics,Information and Communication Engineers   Japan Society for Software Science and Technology   

Published Papers

  • Training of Software Formal Modeling Using Visual Blocks for Actions and Guards of Extended Place/Transition Net
    Akio Usuda; Ryoichi Ishigami; Tomohiko Takagi
    Proceedings of International Conference on Artificial Life and Robotics 341 - 344 2023/02 [Refereed]
  • Automated Random Simulation for Checking a Behavioral Model of Systems Based on Extended Place/Transition Net with Attributed Tokens
    Sho Matsumoto; Tetsuro Katayama; Tomohiko Takagi
    Proceedings of International Conference on Artificial Life and Robotics 337 - 340 2023/02 [Refereed]
  • Tomohiko Takagi; Akio Usuda
    Journal of Robotics, Networking and Artificial Life 9 (1) 81 - 86 2022/06 [Refereed]
  • N-Switch and All-Path Test Coverage Criterion for Extended Finite State Machine
    Tomohiko Takagi; Koichiro Sakata; Kouichi Akiyama
    Proceedings of International Conference on Artificial Life and Robotics 174 - 177 2022/01 [Refereed]
  • Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Journal of Robotics, Networking and Artificial Life 8 (2) 112 - 116 2021/09 [Refereed]
  • Simulation and Regression Testing for Behavior of Software Models Based on Extended Place/Transition Net with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Proceedings of International Conference on Artificial Life and Robotics 336 - 339 2021/01 [Refereed]
  • Development of an Early Prototype Tool for Learning Software Modeling Using Extended Place/Transition Net
    Tomohiko Takagi; Akio Usuda
    Proceedings of International Conference on Artificial Life and Robotics 340 - 343 2021/01 [Refereed]
  • Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Journal of Robotics, Networking and Artificial Life 7 (3) 194 - 198 2020/12 [Refereed]
  • Test-First for Abstracted Behavior of Software Using Extended Finite State Machine
    Tomohiko Takagi; Koichiro Sakata
    Proceedings of IEEE International Symposium on Software Reliability Engineering 159 - 160 2020/10 [Refereed]
  • Learning Support Technique of Software Visual Modeling Using Place/Transition Nets
    Yuki Ue; Tomohiko Takagi
    Proceedings of International Conference on Artificial Life and Robotics 751 - 754 2020/01 [Refereed]
  • Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens
    Tomohiko Takagi; Ryo Kurozumi
    Proceedings of International Conference on Artificial Life and Robotics 746 - 750 2020/01 [Refereed]
  • State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing
    Tomohiko Takagi; Ryo Kurozumi; Tetsuro Katayama
    Proceedings of Pacific Rim International Symposium on Dependable Computing 29 - 30 1555-094X 2019/12 [Refereed]
  • Animated Graphics-Based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto; Yuki Ue; Yoshiro Imai
    Journal of Robotics, Networking and Artificial Life 5 (4) 278 - 282 2019/04 [Refereed]
  • Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications
    Tomohiko Takagi; Ryo Kurozumi
    Proceedings of International Conference on Artificial Life and Robotics 157 - 160 2019/01 [Refereed]
  • Prototype of an Animated Graphics-Based Training Support Tool for Bug Fixing of Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto; Yuki Ue; Yoshiro Imai
    Proceedings of International Conference on Artificial Life and Robotics 152 - 156 2019/01 [Refereed]
  • Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto
    Journal of Robotics, Networking and Artificial Life 5 (2) 122 - 127 2018/09 [Refereed]
  • Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants
    Tomohiko Takagi; Tetsuro Katayama
    Proceedings of International Conference on Artificial Life and Robotics 513 - 516 2018/02 [Refereed]
  • Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets
    Tomohiko Takagi; Shogo Morimoto
    Proceedings of International Conference on Artificial Life and Robotics 517 - 521 2018/02 [Refereed]
  • Heuristic Test Case Generation Technique Using Extended Place/Transition Nets
    Tomohiko Takagi; Akinori Akagi; Tetsuro Katayama
    Studies in Computational Intelligence Springer Verlag 727 103 - 115 1860-949X 2018 [Refereed]
  • Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example
    Tomohiko Takagi; Shogo Morimoto; Tetsuro Katayama
    Journal of Robotics, Networking and Artificial Life 4 (2) 168 - 174 2017/09 [Refereed]
  • Design, Implementation and Trial Evaluation of CPU Simulator to Visualize Register-transfer level Micro-Operation
    Shinya Hara; Yoshiro Imai; Koji Kagawa; Kazuaki Ando; Rihito Yaegashi; Keizo Saisho; Kyosuke Takahashi; Hitoshi Inomo; Naka Gotoda; Toshihiro Hayashi; Hiroyuki Tominaga; Tomohiko Takagi
    Proceedings of the Third International Conference on Electronics and Software Science 7 - 12 2017/07 [Refereed]
  • Multilingual Improvement of an e-Learning System for Packet Routing Visualization
    Lorkan Sauvion; Valentin Messias; Chiaki Kawanishi; Yoshiro Imai; Koji Kagawa; Kazuaki Ando; Rihito Yaegashi; Naka Gotoda; Kyosuke Takahashi; Hitoshi Inomo; Tomohiko Takagi; Hiroyuki Tominaga; Toshihiro Hayashi; Shunsuke Doi; Shinya Hara; Tetsuo Hattori
    Proceedings of the Third International Conference on Electronics and Software Science 13 - 18 2017/07 [Refereed]
  • Development of Document Transferring and Archiving Service with Sentiment Analysis-based Preprocessing Facility
    Shunsuke Doi; Yoshiro Imai; Kazuaki Ando; Koji Kagawa; Rihito Yaegashi; Keizo Saisho; Kyosuke Takahashi; Hitoshi Inomo; Naka Gotoda; Toshihiro Hayashi; Hiroyuki Tominaga; Tomohiko Takagi
    Proceedings of the Third International Conference on Electronics and Software Science 160 - 165 2017/07 [Refereed]
  • Enhanced Survivability of Translucent Elastic Optical Network Employing Shared Protection with FallbackTranslucent Elastic Optical Networks
    Masahiko Jinno; Tomohiko Takagi; Yuto Uemura
    Proceedings of Conference on Optical Fiber Communications Th3K  2017/03 [Refereed]
  • Development of a Tool for Extended Place/transition Net-Based Mutation Testing
    Tomohiko Takagi; Shogo Morimoto; Tetsuro Katayama
    Proceedings of International Conference on Artificial Life and Robotics 266 - 270 2017/01 [Refereed]
  • Extended Mutation Score Based on Weighted Place/Transition Nets to Evaluate Test Suites
    Tomohiko Takagi; Tatsuki Teramoto
    Proceedings of 15th IEEE/ACIS International Conference on Computer and Information Science 959 - 961 2016/06 [Refereed]
  • Partially Developed Coverability Graphs for Modeling Test Case Execution Histories
    Tomohiko Takagi; Keisuke Noda
    Proceedings of 15th IEEE/ACIS International Conference on Computer and Information Science 965 - 966 2016/06 [Refereed]
  • Extended Differential Control Flow Graphs for the Selection of Test Cases in Regression Testing
    Shun Akimoto; Shunta Nakanishi; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 15th International Conference on Computer and Information Science 963 - 964 2016/06 [Refereed]
  • ICT Operational Models to View the Actual Usage of Teachers' Desk Systems
    Liang Xu; Ryosuke Takata; Hiroshi Ohta; Tomohiko Takagi; Norifumi Suehiro; Naka Gotoda; Toshihiro Hayashi; Rihito Yaegashi
    Proceedings of 15th IEEE/ACIS International Conference on Computer and Information Science 967 - 969 2016/06 [Refereed]
  • Proposal and Case Study of the Method to Quantify the Quality of Test Case Specification
    Yoshinobu Machida; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 9th International Conference on Project Management 241 - 244 2015/10 [Refereed]
  • Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software
    Tomohiko Takagi; Takuya Arao
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 3 pages  2015/06 [Refereed]
  • Overview of Graphical Operational Profiles for Generating Test Cases of GUI Software
    Yuma Namba; Shun Akimoto; Tomohiko Takagi
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 3 pages  2015/06 [Refereed]
  • Test Case Selection Technique for Regression Testing Using Differential Control Flow Graphs
    Shun Akimoto; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 3 pages  2015/06 [Refereed]
  • The Method to Create Test Suite based on Operational Profiles for Combination Test of Status
    Hisashi Fukutake; Liang Xu; Ryota Watanabe; Tomohiko Takagi; Rihito Yaegashi
    Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 4 pages  2015/06 [Refereed]
  • Minimal Virtualized-Elastic-Regenerator Placement and Least Congestion Resources Assignment for Translucent Elastic Optical Networks
    Masahiko Jinno; Tomohiko Takagi; Kosuke Kiyokawa
    Proceedings of Conference on Optical Fiber Communications Th3J.2  2015/03 [Refereed]
  • Detailed Operational Profile-based Testing Technique Using a Place/transition Net and Software Execution Histories
    Tomohiko Takagi; Takuya Arao
    IPSJ Journal 56 (2) 569 - 579 2015/02 [Refereed]
  • Proposal of Validation Method for Risk Assessment in Risk-based Testing
    Yoshinobu Machida; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 8th International Conference on Project Management 733 - 740 2014/12 [Refereed]
  • Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information
    Tomohiko Takagi; Mutlu Beyazit
    Studies in Computational Intelligence 578 15 - 25 2014/11 [Refereed]
  • Decision-Making about Software Release Time Using Analytic Hierarchy Process
    Takuya Arao; Yoshinobu Machida; Ken Toda; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 2014 IIAI 3rd International Conference on Advanced Applied Informatics 751 - 756 2014/09 [Refereed]
  • Third-party Verification and Quantification of Quality of Design Document with Testing Technique
    Yoshinobu Machida; Rihito Yaegashi; Tomohiko Takagi
    Proceedings of 7th International Conference on Project Management 825 - 831 2013/11 [Refereed]
  • Test Strategies Using Operational Profiles based on Decision Tables
    Tomohiko Takagi; Zengo Furukawa; Yoshinobu Machida
    Proceedings of 37th Annual International Computer Software and Applications Conference 722 - 723 2013/07 [Refereed]
  • The Method to Divide a Sentence of Requirement into Individual Requirements and the Development of Requirement Specification Editor which can Describe Individual Requirements
    Kuniya Sato; Masahiro Ooba; Tomohiko Takagi; Zengo Furukawa; Seiichi Komiya; Rihito Yaegashi
    SpringerPlus 2 2013/04 [Refereed]
  • Test Case Generation Method and Its Tool Configuration of Operational Profile-Based Testing Using Extended Finite State Machines
    Tomohiko Takagi; Rihito Yaegashi; Zengo Furukawa
    IPSJ Journal 54 (2) 797 - 806 2013/02 [Refereed]
  • Back-to-Back Testing Framework Using a Machine Learning Method
    Tomohiko Takagi; Takeshi Utsumi; Zengo Furukawa
    Studies in Computational Intelligence 443 27 - 36 2013 [Refereed]
  • Construction Technique of Large Operational Profiles for Statistical Software Testing
    Tomohiko Takagi; Zengo Furukawa
    Studies in Computational Intelligence Springer Verlag 493 187 - 199 1860-949X 2013 [Refereed]
  • Ralph's Chart Analysis: Test Analysis Technique Using Common Factors among Software Functions
    Tomohiko Takagi; Zengo Furukawa; Kouichi Akiyama
    Proceedings of 18th Pacific Rim International Symposium on Dependable Computing 2 pages  2012/11 [Refereed]
  • The Effective Factor Choice and Allocating Method for Orthogonal Array in Software Testing
    Kouichi Akiyama; Tomohiko Takagi; Zengo Furukawa
    Journal of the Japanese Society for Quality Control 42 (4) 135 - 144 2012/10 [Refereed]
  • Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa
    IEICE Transactions on Information and Systems (D) E95-D (9) 2211 - 2218 1745-1361 2012/09 [Refereed]
  • Development of Requirement Specification Editor with Semantic Information
    Kuniya Sato; Masahiro Ooba; Tomohiko Takagi; Zengo Furukawa; Seiichi Komiya; Rihito Yaegashi
    Proceedings of 10th Joint Conference on Knowledge-Based Software Engineering 191 - 196 2012/08 [Refereed]
  • Test Case Generation Technique Based on Extended Coverability Trees
    Tomohiko Takagi; Zengo Furukawa
    Proceedings of 13th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 301 - 306 2012/08 [Refereed]
  • The Optimized Test Suite Generation Method Based on Extended Operational Profiles
    Tomohiko Takagi; Shinichiro Hashimoto; Rihito Yaegashi; Zengo Furukawa
    IPSJ Journal 53 (2) 557 - 565 2012/02 [Refereed]
  • Metrics for Model-Based Mutation Testing Based on Place/Transition Nets
    Tomohiko Takagi; Ryousuke Takata; Zengo Furukawa; Fevzi Belli; Mutlu Beyazit
    Proceedings of Joint Conference of 21st International Workshop on Software Measurement and 6th International Conference on Software Process and Product Measurement 7 - 10 2011/11 [Refereed]
  • Model-Based Testing Technique Using a Coverability Graph for Concurrent Software
    Naoya Oyaizu; Tomohiko Takagi; Zengo Furukawa
    Supplemental Proceedings of 22nd International Symposium on Software Reliability Engineering 2 pages  2011/11 [Refereed]
  • Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa
    Proceedings of 4th International Conference on Software Testing, Verification and Validation 249 - 258 2011/03 [Refereed]
  • Kouichi Akiyama; Tomohiko Takagi; Zengo Furukawa
    New Trends in Software Methodologies, Tools and Techniques 398 - 414 0922-6389 2010/10 [Refereed]
  • Definition of Practical W-model Process and Verification of its Effect
    Yoshinobu Machida; Zengo Furukawa; Tomohiko Takagi
    Proceedings of 5th International Conference on Project Management 1129 - 1137 2010/10 [Refereed]
  • Detailed Usage Model Construction Based on High-Order Markov Chains and its Examples
    Tomohiko Takagi; Zengo Furukawa
    IPSJ Journal 51 (9) 1794 - 1804 2010/09 [Refereed]
  • The Pushdown Automaton and its Coverage Criterion for Testing Undo/Redo Functions of Software
    Tomohiko Takagi; Zengo Furukawa
    Proceedings of 9th International Conference on Computer and Information Science 770 - 775 2010/08 [Refereed]
  • Concurrent N-switch Coverage Criterion for Generating Test Cases from Place/Transition Nets
    Tomohiko Takagi; Naoya Oyaizu; Zengo Furukawa
    Proceedings of 9th International Conference on Computer and Information Science 782 - 787 2010/08 [Refereed]
  • Operational Profile-based Test Suite Generation using a Genetic Algorithm
    Tomohiko Takagi; Shinichiro Hashimoto; Zengo Furukawa
    Supplemental Proceedings of 20th International Symposium on Software Reliability Engineering 2 pages  2009/11 [Refereed]
  • Software Testing Technique Based on an Extended Pushdown Automaton for Undo/Redo Functions
    Tomohiko Takagi; Zengo Furukawa
    Supplemental Proceedings of 20th International Symposium on Software Reliability Engineering 2 pages  2009/11 [Refereed]
  • Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing?
    Tomohiko Takagi; Kazuya Nishimachi; Masayuki Muragishi; Takashi Mitsuhashi; Zengo Furukawa
    Studies in Computational Intelligence 209 57 - 67 2009/05 [Refereed]
  • GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton
    Tomohiko Takagi; Zengo Furukawa
    Proceedings of 19th International Symposium on Software Reliability Engineering 293 - 294 1071-9458 2008/11 [Refereed]

Conference Activities & Talks

  • 拡張画面遷移図に基づくWebアプリケーションのためのテスト保守手法とそのフレームワーク
    石上椋一; 高木智彦
    情報処理学会全国大会  2023/03
  • D-Caseに基づくテスト駆動開発手法の提案  [Not invited]
    黒住遼; 高木智彦
    電気関係学会四国支部連合大会  2019/09
  • 属性付きトークンを導入した拡張プレース/トランジションネットによるソフトウェアモデリングの提案  [Not invited]
    黒住遼; 高木智彦
    情報処理学会全国大会  2019/03
  • 状態遷移表に基づくファジングのためのテストケース評価手法  [Not invited]
    渡辺将海; 高木智彦
    電気関係学会四国支部連合大会  2018/09
  • 形式的モデルの自己学習を支援するシステムの提案  [Not invited]
    植勇希; 高木智彦
    電気関係学会四国支部連合大会  2018/09
  • VDMの仕様記述言語を導入した状態遷移図とそのテスト基準の提案  [Not invited]
    高木智彦; 赤木章紀
    情報処理学会第80回全国大会  2018/03
  • ペトリネットに基づくミュータントを用いたネガティブテストケースの作成  [Not invited]
    高木智彦
    情報科学技術フォーラム  2017/09
  • 拡張プレース/トランジションネットに基づく網羅率を用いたテストケースの評価手法  [Not invited]
    赤木章紀; 高木智彦
    電気関係学会四国支部連合大会  2017/09
  • 開発・運用環境のデータを用いた拡張プレース/トランジションネットのミュータント生成手法  [Not invited]
    森本尚悟; 高木智彦
    電気関係学会四国支部連合大会  2017/09
  • Highly Survivable Elastic Optical Networking  [Invited]
    Masahiko Jinno; Tomohiko Takagi
    Opto-Electronics and Communications Conference  2017/08
  • 機能追加によるユーザ操作の変更からシステム変更による影響を予測する手法の提案  [Not invited]
    許亮; 岡田直也; 高木智彦; 八重樫理人
    情報処理学会第79回全国大会  2017/03
  • 拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案  [Not invited]
    高木智彦; 赤木章紀
    情報処理学会第79回全国大会  2017/03
  • ICT機器操作モデルを用いた香川大学型IT教卓システムのユーザビリティ向上手法の提案  [Not invited]
    岡田直也; 高田良介; 許亮; 後藤田中; 高木智彦; 林敏浩; 八重樫理人
    電気関係学会四国支部連合大会  2016/09
  • ステートマシンに基づくミューテーションテストにおけるミュータントの評価  [Not invited]
    亀山大輝; 高木智彦
    電気関係学会四国支部連合大会  2016/09
  • 香川大学型IT教卓システムの操作ログによるユーザ特性の抽出  [Not invited]
    渡辺涼太; 許亮; 高木智彦; 後藤田中; 林敏浩; 八重樫理人
    電気関係学会四国支部連合大会  2015/09
  • プレース／トランジションネットと実行ファイルを用いたテストケース生成手法  [Not invited]
    山本高弘; 秋本俊; 高木智彦
    電気関係学会四国支部連合大会  2015/09
  • 並行ソフトウェアのためのプレース／トランジションネットとソフトウェアメトリクスに基づいたテスト分析  [Not invited]
    寺本樹; 秋本俊; 高木智彦
    電気関係学会四国支部連合大会  2015/09
  • プレース／トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案  [Not invited]
    高木智彦
    情報処理学会第77回全国大会  2015/03
  • 状態の組み合わせテストのための運用プロファイルを用いたテストスイート生成手法  [Not invited]
    福武久史; 許亮; 高木智彦; 八重樫理人
    電子情報通信学会知能ソフトウェア研究会  2015/01
  • ソフトウェアのセキュリティテストにおけるテストケース設計のための拡張データフローダイアグラム  [Not invited]
    太田和也; 高木智彦
    電気関係学会四国支部連合大会  2014/09
  • GUIソフトウェアをテストするための画像付き運用プロファイルの作成  [Not invited]
    難波佑磨; 高木智彦
    電気関係学会四国支部連合大会  2014/09
  • グループAHPを用いたソフトウェア出荷時期の決定・分析手法  [Not invited]
    荒尾拓矢; 高木智彦
    電気関係学会四国支部連合大会  2014/09
  • プレース／トランジションネットとテスト分析に基づく重み付き被覆グラフからのテストケース生成  [Not invited]
    山本高弘; 寺本樹; 高木智彦
    電気関係学会四国支部連合大会  2014/09
  • 循環的複雑度で重み付けされた機能木によるテストケースの優先順位付け手法  [Not invited]
    秋本俊; 高木智彦
    電気関係学会四国支部連合大会  2014/09
  • プレース／トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルの生成  [Not invited]
    高木智彦; 荒尾拓矢
    電子情報通信学会技術研究報告  2014/01
  • トピックマップを用いて要求間の関連性を表現する方法に関する研究  [Not invited]
    佐々木健太; 福武久史; 佐藤久二哉; 大羽正浩; 高木智彦; 八重樫理人
    電気関係学会四国支部連合大会  2013/09
  • イベント列を用いた運用プロファイルの生成手法  [Not invited]
    難波佑磨; 高木智彦
    電気関係学会四国支部連合大会  2013/09
  • 統計的ソフトウェアテストのためのプレース／トランジションネットとイベント列に基づく高次マルコフ連鎖の生成手法  [Not invited]
    荒尾拓矢; 高木智彦
    電気関係学会四国支部連合大会  2013/09
  • PDAを用いた状態遷移テスト法におけるテスト十分性評価手法の提案  [Not invited]
    坂本真一; 高木智彦; 八重樫理人
    電気関係学会四国支部連合大会  2013/09
  • 一般化確率ペトリネットに基づく統計的テスト法のためのテストケース生成手法  [Not invited]
    竹下昂宏; 高木智彦; 八重樫理人
    電気関係学会四国支部連合大会  2013/09
  • モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法  [Not invited]
    高木智彦; 河原林春香; 古川善吾
    情報処理学会第75回全国大会  2013/03
  • 同期モデルを用いた並行状態グラフのNスイッチテストについて  [Not invited]
    高島和紀; 高木智彦; 古川善吾
    情報処理学会第75回全国大会  2013/03
  • 組み込みシステムを対象とした運用プロファイル生成手法  [Not invited]
    福武久史; 佐藤久仁哉; 大羽正浩; 高木智彦; 古川善吾; 八重樫理人
    第8回情報システム学会全国大会  2012/12
  • 拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク  [Not invited]
    高木智彦; 八重樫理人; 古川善吾
    ソフトウェアエンジニアリングシンポジウム2012  2012/09
  • サポートベクターマシンを用いた back-to-back テストにおける学習データ作成方法  [Not invited]
    内海武之; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会  2012/09
  • プレース/トランジションネットを用いたモデルベースド・ミューテーションテスト法における故障パターンの提案  [Not invited]
    高田涼介; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会  2012/09
  • 並行処理ソフトウェアテストのための同期実行モデルの提案  [Not invited]
    高島和紀; 古川善吾; 高木智彦
    電気関係学会四国支部連合大会  2012/09
  • 分析・検証モデルに基づく分析・検証リポジトリに関する研究-意味情報を付与した要求仕様の記述方法-  [Not invited]
    佐藤久仁哉; 大羽正浩; 高木智彦; 古川善吾; 古宮誠一; 八重樫理人
    情報処理学会第74回全国大会  2012/03
  • 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法  [Not invited]
    高木智彦; 橋本慎一朗; 八重樫理人; 古川善吾
    ソフトウェアエンジニアリングシンポジウム2011  2011/09
  • ソフトウェアテスト観点に基づいたゴールグラフの生成を支援する方法とその有効性について  [Not invited]
    大羽正浩; 八重樫理人; 高木智彦; 木下大輔; 古川善吾
    電子情報通信学会技術研究報告, 知能ソフトウェア工学 111(71), 37-42  2011/05
  • 機能木を用いたテストケース管理方法の提案  [Not invited]
    史寧; 八重樫理人; 高木智彦; 古川善吾
    情報処理学会研究報告  2011/03
  • ゴールグラフを用いた要件分析とソフトウェアテスト観点との相互関係について  [Not invited]
    大羽正浩; 八重樫理人; 高木智彦; 木下大輔; 古川善吾
    情報処理学会第73回全国大会  2011/03
  • back-to-backテストを実行するテストツールの試作と評価  [Not invited]
    内海武之; 高木智彦; 八重樫理人; 古川善吾
    情報処理学会第73回全国大会  2011/03
  • モデルベースドソフトウェアテストのためのプレース/トランジションネットからの状態機械生成  [Not invited]
    小柳津尚哉; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会  2010/09
  • ソフトウェアユーザの利用確率に基づくテストケース最適化手法  [Not invited]
    橋本慎一朗; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会  2010/09
  • ソフトウェアテストのための並行状態グラフにおける状態空間圧縮の一方法  [Not invited]
    赤松正規; 高木智彦; 八重樫理人; 古川善吾
    電気関係学会四国支部連合大会  2010/09
  • 動作シミュレーションを用いて生成した拡張状態列による仕様理解支援  [Not invited]
    江上侑希; 高木智彦; 古川善吾
    情報処理学会全国大会  2010/03
  • ソフトウェアテスト技術の現状と動向  [Invited]
    古川善吾; 高木智彦
    電子情報通信学会ソフトウェアサイエンス研究会  2009/12
  • KT法を用いた出荷判定支援システムの提案  [Not invited]
    八重樫理人; 高木智彦; 古川善吾; 古宮誠一
    電子情報通信学会技術研究報告, Vol.109, No.196, pp.7-12  2009/09
  • SNMPを用いた香川大学におけるコンピュータ利用台数の調査  [Not invited]
    福島芳一; 賀田広人; 高木智彦; 古川善吾
    電気関係学会四国支部連合大会  2008/09

Awards & Honors

  • 2002/03 情報処理学会四国支部研究シンポジューム ソフトウェアコンテスト優秀賞
     JPN

Research Grants & Projects

  • システム間連携に関する形式的仕様の記述および検証手法の開発
    日本学術振興会：
    Date (from‐to) : 2022/04 -2027/03
  • 拡張状態遷移モデルから生成されるVDM仕様に基づく体系的テストケース設計手法
    日本学術振興会：
    Date (from‐to) : 2017/04 -2023/03
  • ペトリネットを用いたモデルベースドミューテーションテスト法の開発と評価
    日本学術振興会：
    Date (from‐to) : 2014/04 -2018/03
  • 拡張運用プロファイルを用いた高効率のテストケース生成手法の開発と評価
    日本学術振興会：
    Date (from‐to) : 2011/04 -2015/03

Social Contribution

  • チュートリアル「グラフを用いたModel-Based Testingの基礎」
    Date (from-to) : 2013/01-2013/01
    Role : Lecturer
    Event, Program, Title : ソフトウェアテストシンポジウム東京
    講師
  • ワークショップ「Model-Based Testing入門 ～グラフによる振舞いの抽象化とテストケースの設計～」
    Date (from-to) : 2012/07-2012/07
    Role : Lecturer
    Event, Program, Title : ソフトウェアテストシンポジウム四国
    講師

Other link

researchmap


Copyright © MEDIA FUSION Co.,Ltd. All rights reserved.