Tomohiko Takagi

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 12

Top Topics

State Transition

Mutation Testing

Top Venues

J. Robotics Netw. Artif. Life

Publications

Tomohiko Takagi, Ryo Kurozumi
Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens. J. Robotics Netw. Artif. Life 8 (2) (2021)
Tomohiko Takagi, Ryo Kurozumi
Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens. J. Robotics Netw. Artif. Life 7 (3) (2020)
Tomohiko Takagi, Koichiro Sakata
Test-First for Abstracted Behavior of Software Using Extended Finite State Machine. ISSRE Workshops (2020)
Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. PRDC (2019)
Tomohiko Takagi, Shogo Morimoto, Yuki Ue, Yoshiro Imai
Animated Graphics-based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets. J. Robotics Netw. Artif. Life 5 (4) (2019)
Tomohiko Takagi, Shogo Morimoto
Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets. J. Robotics Netw. Artif. Life 5 (2) (2018)
Tomohiko Takagi, Shogo Morimoto, Tetsuro Katayama
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example. J. Robotics Netw. Artif. Life 4 (2) (2017)
Masahiko Jinno, Tomohiko Takagi, Yuto Uemura
Enhanced survivability of translucent elastic optical network employing shared protection with fallback. OFC (2017)
Shun Akimoto, Shunta Nakanishi, Rihito Yaegashi, Tomohiko Takagi
Extended differential control flow graphs for the selection of test cases in regression testing. ICIS (2016)
Liang Xu, Ryosuke Takata, Hiroshi Ohta, Tomohiko Takagi, Norifumi Suehiro, Naka Gotoda, Toshihiro Hayashi, Rihito Yaegashi
ICT operational models to view the actual usage of teachers' desk systems. ICIS (2016)
Tomohiko Takagi, Tatsuki Teramoto
Extended mutation score based on weighted place/transition nets to evaluate test suites. ICIS (2016)
Tomohiko Takagi, Keisuke Noda
Partially developed coverability graphs for modeling test case execution histories. ICIS (2016)
Shun Akimoto, Rihito Yaegashi, Tomohiko Takagi
Test case selection technique for regression testing using differential control flow graphs. SNPD (2015)
Hisashi Fukutake, Liang Xu, Tomohiko Takagi, Ryota Watanabe, Rihito Yaegashi
The method to create test suite based on operational profiles for combination test of status. SNPD (2015)
Tomohiko Takagi, Takuya Arao
Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software. SNPD (2015)
Masahiko Jinno, Tomohiko Takagi, Kosuke Kiyokawa
Minimal virtualized-elastic-regenerator placement and least congestion resources assignment for translucent elastic optical networks. OFC (2015)
Yuma Namba, Shun Akimoto, Tomohiko Takagi
Overview of graphical operational profiles for generating test cases of GUI software. SNPD (2015)
Takuya Arao, Yoshinobu Machida, Ken Toda, Rihito Yaegashi, Tomohiko Takagi
Decision-Making about Software Release Time Using Analytic Hierarchy Process. IIAI-AAI (2014)
Tomohiko Takagi, Mutlu Beyazit
Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information. Software Engineering Research, Management and Applications (2014)
Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida
Test Strategies Using Operational Profiles Based on Decision Tables. COMPSAC (2013)
Tomohiko Takagi, Zengo Furukawa
Test Case Generation Technique Based on Extended Coverability Trees. SNPD (2012)
Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
Model-Based Mutation Testing Using Pushdown Automata. IEICE Trans. Inf. Syst. (9) (2012)
Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, Zengo Furukawa, Seiichi Komiya, Rihito Yaegashi
Development of Requirement Specification Editor with Semantic Information. JCKBSE (2012)
Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. ICST (2011)
Tomohiko Takagi, Naoya Oyaizu, Zengo Furukawa
Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets. ACIS-ICIS (2010)
Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa
Development and Evaluation of HAYST Method Tool (Software Testing). SoMeT (2010)
Tomohiko Takagi, Zengo Furukawa
The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software. ACIS-ICIS (2010)
Tomohiko Takagi, Zengo Furukawa
GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton. ISSRE (2008)
Tomohiko Takagi, Zengo Furukawa
Construction Method of a High-Order Markov Chain Usage Model. APSEC (2007)
Tomohiko Takagi, Zengo Furukawa
Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. APSEC (2004)