Tomohiko Takagi

According to our database, Tomohiko Takagi authored at least 33 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT.

Tomohiko Takagi, Rikuto Otake, Sho Matsumoto

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2022

A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool.

Tomohiko Takagi, Akio Usuda

J. Robotics Netw. Artif. Life, 2022

2021

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens.

Tomohiko Takagi, Ryo Kurozumi

J. Robotics Netw. Artif. Life, 2021

2020

Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens.

Tomohiko Takagi, Ryo Kurozumi

J. Robotics Netw. Artif. Life, 2020

Test-First for Abstracted Behavior of Software Using Extended Finite State Machine.

Tomohiko Takagi, Koichiro Sakata

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

2019

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

J. Robotics Netw. Artif. Life, 2019

State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing.

Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama

Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019

2018

Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets.

Tomohiko Takagi, Shogo Morimoto

J. Robotics Netw. Artif. Life, 2018

2017

Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example.

Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama

J. Robotics Netw. Artif. Life, 2017

Enhanced survivability of translucent elastic optical network employing shared protection with fallback.

Masahiko Jinno, Tomohiko Takagi, Yuto Uemura

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2017

2016

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 the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Extended mutation score based on weighted place/transition nets to evaluate test suites.

Tomohiko Takagi, Tatsuki Teramoto

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Partially developed coverability graphs for modeling test case execution histories.

Tomohiko Takagi, Keisuke Noda

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

Extended differential control flow graphs for the selection of test cases in regression testing.

Shun Akimoto, Shunta Nakanishi, Rihito Yaegashi, Tomohiko Takagi

Proceedings of the 15th IEEE/ACIS International Conference on Computer and Information Science, 2016

2015

Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software.

Tomohiko Takagi, Takuya Arao

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

Overview of graphical operational profiles for generating test cases of GUI software.

Yuma Namba, Shun Akimoto, Tomohiko Takagi

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

The method to create test suite based on operational profiles for combination test of status.

Hisashi Fukutake, Liang Xu, Tomohiko Takagi, Ryota Watanabe, Rihito Yaegashi

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

Test case selection technique for regression testing using differential control flow graphs.

Shun Akimoto, Rihito Yaegashi, Tomohiko Takagi

Proceedings of the 16th IEEE/ACIS International Conference on Software Engineering, 2015

Minimal virtualized-elastic-regenerator placement and least congestion resources assignment for translucent elastic optical networks.

Masahiko Jinno, Tomohiko Takagi, Kosuke Kiyokawa

Proceedings of the Optical Fiber Communications Conference and Exhibition, 2015

2014

Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information.

Tomohiko Takagi, Mutlu Beyazit

Proceedings of the Software Engineering Research, 2014

Decision-Making about Software Release Time Using Analytic Hierarchy Process.

Takuya Arao, Yoshinobu Machida, Ken Toda, Rihito Yaegashi, Tomohiko Takagi

Proceedings of the IIAI 3rd International Conference on Advanced Applied Informatics, 2014

2013

Test Strategies Using Operational Profiles Based on Decision Tables.

Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Model-Based Mutation Testing Using Pushdown Automata.

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa

IEICE Trans. Inf. Syst., 2012

Test Case Generation Technique Based on Extended Coverability Trees.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

Development of Requirement Specification Editor with Semantic Information.

Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, Zengo Furukawa, Seiichi Komiya, Rihito Yaegashi

Proceedings of the Knowledge-Based Software Engineering, 2012

2011

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Development and Evaluation of HAYST Method Tool (Software Testing).

Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets.

Tomohiko Takagi, Naoya Oyaizu, Zengo Furukawa

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009

Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing?

Tomohiko Takagi, Kazuya Nishimachi, Masayuki Muragishi, Takashi Mitsuhashi, Zengo Furukawa

Proceedings of the Software Engineering, 2009

2008

GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2007

Construction Method of a High-Order Markov Chain Usage Model.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2004

Constructing a Usage Model for Statistical Testing with Source Code Generation Methods.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004