Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. - Tomohiko Takagi; Zengo Furukawa (APSEC, 2004)

Construction Method of a High-Order Markov Chain Usage Model. - Tomohiko Takagi; Zengo Furukawa (APSEC, 2007)

GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton. - Tomohiko Takagi; Zengo Furukawa (ISSRE, 2008)

Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing? - Tomohiko Takagi; Kazuya Nishimachi; Masayuki Muragishi; Takashi Mitsuhashi; Zengo Furukawa (Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2009)

The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software. - Tomohiko Takagi; Zengo Furukawa (ACIS-ICIS, 2010)

Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets. - Tomohiko Takagi; Naoya Oyaizu; Zengo Furukawa (ACIS-ICIS, 2010)

Development and Evaluation of HAYST Method Tool (Software Testing). - Kouichi Akiyama; Tomohiko Takagi; Zengo Furukawa (SoMeT, 2010)

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. - Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa (ICST, 2011)

Development of Requirement Specification Editor with Semantic Information. - Kuniya Sato; Masahiro Ooba; Tomohiko Takagi; Zengo Furukawa; Seiichi Komiya; Rihito Yaegashi (JCKBSE, 2012)

Test Case Generation Technique Based on Extended Coverability Trees. - Tomohiko Takagi; Zengo Furukawa (SNPD, 2012)

Model-Based Mutation Testing Using Pushdown Automata. - Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa (IEICE Trans. Inf. Syst., 2012)

Test Strategies Using Operational Profiles Based on Decision Tables. - Tomohiko Takagi; Zengo Furukawa; Yoshinobu Machida (COMPSAC, 2013)

Decision-Making about Software Release Time Using Analytic Hierarchy Process. - Takuya Arao; Yoshinobu Machida; Ken Toda; Rihito Yaegashi; Tomohiko Takagi (IIAI-AAI, 2014)

Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information. - Tomohiko Takagi; Mutlu Beyazit (Software Engineering Research, Management and Applications, 2014)

Minimal virtualized-elastic-regenerator placement and least congestion resources assignment for translucent elastic optical networks. - Masahiko Jinno; Tomohiko Takagi; Kosuke Kiyokawa (OFC, 2015)

Test case selection technique for regression testing using differential control flow graphs. - Shun Akimoto; Rihito Yaegashi; Tomohiko Takagi (SNPD, 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 (SNPD, 2015)

Overview of graphical operational profiles for generating test cases of GUI software. - Yuma Namba; Shun Akimoto; Tomohiko Takagi (SNPD, 2015)

Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software. - Tomohiko Takagi; Takuya Arao (SNPD, 2015)

Extended differential control flow graphs for the selection of test cases in regression testing. - Shun Akimoto; Shunta Nakanishi; Rihito Yaegashi; Tomohiko Takagi (ICIS, 2016)

Partially developed coverability graphs for modeling test case execution histories. - Tomohiko Takagi; Keisuke Noda (ICIS, 2016)

Extended mutation score based on weighted place/transition nets to evaluate test suites. - Tomohiko Takagi; Tatsuki Teramoto (ICIS, 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 (ICIS, 2016)

Enhanced survivability of translucent elastic optical network employing shared protection with fallback. - Masahiko Jinno; Tomohiko Takagi; Yuto Uemura (OFC, 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)

Genetic Algorithm-Based Technique and Tool for Generating Mutants of Extended Place/Transition Nets. - Tomohiko Takagi; Shogo Morimoto (J. Robotics Netw. Artif. Life, 2018)

State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. - Tomohiko Takagi; Ryo Kurozumi; Tetsuro Katayama (PRDC, 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)

Test-First for Abstracted Behavior of Software Using Extended Finite State Machine. - Tomohiko Takagi; Koichiro Sakata (ISSRE Workshops, 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)

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)

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)

EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT. - Tomohiko Takagi; Rikuto Otake; Sho Matsumoto (COMPSAC, 2024)

Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications. - Ryoichi Ishigami; Sho Matsumoto; Tomohiko Takagi (PRDC, 2024)