TAKAGI TOMOHIKO 高木智彦

… Alternative Names

TAKAGI Tomohiko 高木智彦

Less

Researcher Number	70509124
Other IDs
Affiliation (Current)	2025: 香川大学, 創造工学部, 教授
Affiliation (based on the past Project Information) *help	2018 – 2023: 香川大学, 創造工学部, 准教授 2013 – 2017: 香川大学, 工学部, 講師 2011 – 2012: 香川大学, 工学部, 助教
Review Section/Research Field	Principal Investigator Software / Basic Section 60050:Software-related / Software
Keywords	Principal Investigator ソフトウェアテスト / ソフトウェア工学 / ソフトウェアモデリング

Research Projects
(4 results)
Research Products
(39 results)

システム間連携に関する形式的仕様の記述および検証手法の開発Principal Investigator
- Principal Investigator
  
  高木智彦
- Project Period (FY)
  2022 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Kagawa University
Systematic Test Case Design Methods Based on VDM Specifications Generated from Extended State Transition ModelsPrincipal Investigator
- Principal Investigator
  
  TAKAGI Tomohiko
- Project Period (FY)
  2017 – 2023
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Kagawa University
Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri NetsPrincipal Investigator
- Principal Investigator
  
  Takagi Tomohiko
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kagawa University
Development and Evaluation of Effective Test Case Generation Techniques Using Extended Operational ProfilesPrincipal Investigator
- Principal Investigator
  
  TAKAGI Tomohiko
- Project Period (FY)
  2011 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Kagawa University

All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 Other

All Journal Article Presentation

[Journal Article] A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool2022
- Author(s)
  T. Takagi, A. Usuda
- Journal Title
  
  Journal of Robotics, Networking and Artificial Life
  
  Volume: 9 Issue: 1 Pages: 81-86
- DOI
  10.57417/jrnal.9.1_81
- ISSN
  2352-6386, 2405-9021
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00103
[Journal Article] Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens2021
- Author(s)
  T. Takagi, R. Kurozumi
- Journal Title
  
  Journal of Robotics, Networking and Artificial Life
  
  Volume: Vol.8, No.2 Issue: 2 Pages: 112-116
- DOI
  10.2991/jrnal.k.210713.009
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00103
[Journal Article] Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens2020
- Author(s)
  T. Takagi, R. Kurozumi
- Journal Title
  
  Journal of Robotics, Networking and Artificial Life
  
  Volume: Vol.7, No.3 Issue: 3 Pages: 194-198
- DOI
  10.2991/jrnal.k.200909.011
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00103
[Journal Article] Animated Graphics-based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets2019
- Author(s)
  T. Takagi, S. Morimoto, Y. Ue, Y. Imai
- Journal Title
  
  Journal of Robotics, Networking and Artificial Life
  
  Volume: Vol.5, No.4 Issue: 4 Pages: 278-282
- DOI
  10.2991/jrnal.k.190402.001
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17K00103
[Journal Article] Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example2017
- Author(s)
  Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
- Journal Title
  
  Journal of Robotics, Networking and Artificial Life
  
  Volume: 4 Issue: 2 Pages: 168-174
- DOI
  10.2991/jrnal.2017.4.2.14
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-26730038
[Journal Article] プレース/トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルベースドテスト法2015
- Author(s)
  高木智彦、荒尾拓矢
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.56, No.2 Pages: 569-579
- NAID
  110009877373
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-23700038
[Journal Article] 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成2013
- Author(s)
  高木智彦, 八重樫理人, 古川善吾
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.54, No.2 Pages: 797-806
- NAID
  110009537078
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700038
[Journal Article] 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法2012
- Author(s)
  高木智彦，橋本慎一朗，八重樫理人，古川善吾
- Journal Title
  
  情報処理学会論文誌
  
  Volume: Vol.53, No.2 Pages: 557-565
- NAID
  110008767161
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23700038
[Presentation] An Improved Conversion Technique from EPNAT Models to VDM++ Specifications for Simulation of Abstract Software Behavior2024
- Author(s)
  S. Matsumoto, R. Ishigami, T. Katayama, T. Takagi
- Organizer
  International Conference on Artificial Life and Robotics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11976
[Presentation] Webアプリケーションの画面遷移上のデータフローのための発見的手法によるテストケース生成2024
- Author(s)
  石上椋一, 二宮隆徳, 横井秀太, 高木智彦
- Organizer
  情報処理学会全国大会
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Webアプリケーションのための拡張画面遷移図からVDM++仕様への変換手法2023
- Author(s)
  石上椋一, 松本翔, 長尾康生, 高木智彦
- Organizer
  情報科学技術フォーラム
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Training of Software Formal Modeling Using Visual Blocks for Actions and Guards of Extended Place/Transition Net2023
- Author(s)
  A. Usuda, R. Ishigami, T. Takagi
- Organizer
  International Conference on Artificial Life and Robotics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Automated Random Simulation for Checking a Behavioral Model of Systems Based on Extended Place/Transition Net with Attributed Tokens2023
- Author(s)
  S. Matsumoto, T. Katayama, T. Takagi
- Organizer
  International Conference on Artificial Life and Robotics
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K11976
[Presentation] N-Switch and All-Path Test Coverage Criterion for Extended Finite State Machine2022
- Author(s)
  T. Takagi, K. Sakata, K. Akiyama
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Simulation and Regression Testing for Behavior of Software Models Based on Extended Place/Transition Net with Attributed Tokens2021
- Author(s)
  T. Takagi, R. Kurozumi
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Development of an Early Prototype Tool for Learning Software Modeling Using Extended Place/Transition Net2021
- Author(s)
  T. Takagi, A. Usuda
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens2020
- Author(s)
  T. Takagi, R. Kurozumi
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Test-First for Abstracted Behavior of Software Using Extended Finite State Machine2020
- Author(s)
  T. Takagi, K. Sakata
- Organizer
  International Symposium on Software Reliability Engineering
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications2019
- Author(s)
  T. Takagi, R. Kurozumi
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Prototype of an Animated Graphics-Based Training Support Tool for Bug Fixing of Extended Place/Transition Nets2019
- Author(s)
  T. Takagi, S. Morimoto, Y. Ue, Y. Imai
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing2019
- Author(s)
  T. Takagi, R. Kurozumi, T. Katayama
- Organizer
  Pacific Rim International Symposium on Dependable Computing
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants2018
- Author(s)
  Tomohiko Takagi, Tetsuro Katayama
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets2018
- Author(s)
  Tomohiko Takagi, Shogo Morimoto
- Organizer
  International Conference on Artificial Life and Robotics
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] VDMの仕様記述言語を導入した状態遷移図とそのテスト基準の提案2018
- Author(s)
  高木智彦、赤木章紀
- Organizer
  情報処理学会第80回全国大会
- Data Source
  KAKENHI-PROJECT-17K00103
[Presentation] Heuristic Test Case Generation Technique Using Extended Place/Transition Nets2017
- Author(s)
  Tomohiko Takagi, Akinori Akagi, Tetsuro Katayama
- Organizer
  Applied Computing and Information Technology
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] 拡張プレース/トランジションネットに基づくVDM仕様の構築手法の提案2017
- Author(s)
  高木智彦, 赤木章紀
- Organizer
  情報処理学会第79回全国大会
- Place of Presentation
  名古屋市
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] Development of a Tool for Extended Place/transition Net-Based Mutation Testing2017
- Author(s)
  Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
- Organizer
  International Conference on Artificial Life and Robotics
- Place of Presentation
  Miyazaki, Japan
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] ペトリネットに基づくミュータントを用いたネガティブテストケースの作成2017
- Author(s)
  高木智彦
- Organizer
  第16回情報科学技術フォーラム
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] Extended Mutation Score Based on Weighted Place/Transition Nets to Evaluate Test Suites2016
- Author(s)
  Tomohiko Takagi, Tatsuki Teramoto
- Organizer
  15th International Conference on Computer and Information Science
- Place of Presentation
  Okayama, Japan
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] Partially Developed Coverability Graphs for Modeling Test Case Execution Histories2016
- Author(s)
  Tomohiko Takagi, Keisuke Noda
- Organizer
  15th International Conference on Computer and Information Science
- Place of Presentation
  Okayama, Japan
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] プレース／トランジションネットに基づくソフトウェアネガティブテストのフレームワークの提案2015
- Author(s)
  高木智彦
- Organizer
  情報処理学会第77回全国大会
- Place of Presentation
  京都
- Year and Date
  2015-03-19
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] Overview of a Place/Transition Net-Based Mutation Testing Framework to Obtain Test Cases Effective for Concurrent Software2015
- Author(s)
  Tomohiko Takagi, Takuya Arao
- Organizer
  16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
- Place of Presentation
  Takamatsu, Japan
- Year and Date
  2015-06-02
- Data Source
  KAKENHI-PROJECT-26730038
[Presentation] Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information2014
- Author(s)
  Tomohiko Takagi, Mutlu Beyazit
- Organizer
  International Conference on Software Engineering Research, Management and Applications
- Place of Presentation
  Kitakyushu
- Year and Date
  2014-09-03
- Data Source
  KAKENHI-PROJECT-23700038
[Presentation] プレース／トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルの生成2014
- Author(s)
  高木智彦, 荒尾拓矢
- Organizer
  電子情報通信学会知能ソフトウェア工学研究会
- Place of Presentation
  東京
- Data Source
  KAKENHI-PROJECT-23700038
[Presentation] Construction Technique of Large Operational Profiles for Statistical Software Testing2013
- Author(s)
  Tomohiko Takagi, Zengo Furukawa
- Organizer
  12th IEEE/ACIS International Conference on Computer and Information Science
- Place of Presentation
  Niigata, Japan
- Data Source
  KAKENHI-PROJECT-23700038
[Presentation] Test Strategies Using Operational Profiles based on Decision Tables2013
- Author(s)
  Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida
- Organizer
  IEEE 37th Annual Computer Software and Applications Conference
- Place of Presentation
  Kyoto, Japan
- Data Source
  KAKENHI-PROJECT-23700038
[Presentation] 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法2011
- Author(s)
  高木智彦，橋本慎一朗，八重樫理人，古川善吾
- Organizer
  IPSJ/SIGSE Software Engineering Symposium (SES2011)
- Place of Presentation
  東京都
- Data Source
  KAKENHI-PROJECT-23700038
[Presentation] 拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク
- Author(s)
  高木智彦, 八重樫理人, 古川善吾
- Organizer
  IPSJ/SIGSE Software Engineering Symposium (SES2012)
- Place of Presentation
  東京都
- Data Source
  KAKENHI-PROJECT-23700038
[Presentation] モデル駆動開発を支援するための拡張運用プロファイルベースドテスト法の適用方法
- Author(s)
  高木智彦, 河原林春香, 古川善吾
- Organizer
  情報処理学会第75回全国大会
- Place of Presentation
  宮城県
- Data Source
  KAKENHI-PROJECT-23700038

TAKAGI TOMOHIKO 高木 智彦

TAKAGI Tomohiko 高木 智彦

Research Projects

Research Products

システム間連携に関する形式的仕様の記述および検証手法の開発Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Systematic Test Case Design Methods Based on VDM Specifications Generated from Extended State Transition ModelsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development and Evaluation of Model-Based Mutation Testing Techniques Using Petri NetsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development and Evaluation of Effective Test Case Generation Techniques Using Extended Operational ProfilesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool2022

Author(s)

Journal Title

DOI

ISSN

Language

Data Source

[Journal Article] Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens2021

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens2020

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Animated Graphics-based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets2019

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example2017

Author(s)

Journal Title

DOI

Data Source

[Journal Article] プレース/トランジションネットとソフトウェア実行履歴を用いた精密化運用プロファイルベースドテスト法2015

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 拡張有限状態機械を用いた運用プロファイルベースドテストのテストケース生成手法とツール構成2013

Author(s)

Journal Title

NAID

Data Source

[Journal Article] 拡張運用プロファイルに基づく最適化されたテストスイートの生成手法2012

Author(s)

Journal Title

NAID

Data Source

[Presentation] An Improved Conversion Technique from EPNAT Models to VDM++ Specifications for Simulation of Abstract Software Behavior2024

Author(s)

Organizer

Data Source

[Presentation] Webアプリケーションの画面遷移上のデータフローのための発見的手法によるテストケース生成2024

Author(s)

Organizer

Data Source

[Presentation] Webアプリケーションのための拡張画面遷移図からVDM++仕様への変換手法2023

Author(s)

TAKAGI TOMOHIKO 高木智彦

TAKAGI Tomohiko 高木智彦