Tomohiko Takagi

发表

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

Tomohiko Takagi, Ryo Kurozumi, 2020 .

Development and Evaluation of HAYST Method Tool (Software Testing)

Tomohiko Takagi, Kouichi Akiyama, Zengo Furukawa, 2010, SoMeT.

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

Masahiko Jinno, Tomohiko Takagi, Yuto Uemura, 2017, 2017 Optical Fiber Communications Conference and Exhibition (OFC).

The Effective Factor Choice and Allocating Method for Orthogonal Array in Software Testing

Tomohiko Takagi, Kouichi Akiyama, Zengo Furukawa, 2012 .

Test Strategies Using Operational Profiles Based on Decision Tables

Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida, 2013, 2013 IEEE 37th Annual Computer Software and Applications Conference.

Animated Graphics-based Training Support Method and Prototype Tool for Bug Fixing of Extended Place/Transition Nets

Yoshiro Imai, Tomohiko Takagi, Shogo Morimoto, 2019, J. Robotics Netw. Artif. Life.

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

Masahiko Jinno, Tomohiko Takagi, Kosuke Kiyokawa, 2015, 2015 Optical Fiber Communications Conference and Exhibition (OFC).

Construction Method of a High-Order Markov Chain Usage Model

Tomohiko Takagi, Zengo Furukawa, Tomohiko Takagi, 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

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

Tomohiko Takagi, Zengo Furukawa, 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

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

Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama, 2019, 2019 IEEE 24th Pacific Rim International Symposium on Dependable Computing (PRDC).

Prototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications

Tomohiko Takagi, Ryo Kurozumi, 2019 .

Heuristic Test Case Generation Technique Using Extended Place/Transition Nets

Tomohiko Takagi, Tetsuro Katayama, Akinori Akagi, 2017 .

Partially developed coverability graphs for modeling test case execution histories

Tomohiko Takagi, Keisuke Noda, 2016, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS).

ICT operational models to view the actual usage of teachers' desk systems

Liang Xu, Tomohiko Takagi, Hiroshi Ohta, 2016, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS).

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

Tomohiko Takagi, Rihito Yaegashi, Shun Akimoto, 2015, 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

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

Tomohiko Takagi, Rihito Yaegashi, Shunta Nakanishi, 2016, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS).

Development of a Mutant Generation Tool Using a Genetic Algorithm for Extended Place/Transition Nets

Tomohiko Takagi, Shogo Morimoto, 2018 .

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

Tomohiko Takagi, Zengo Furukawa, Takashi Mitsuhashi, 2009, Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

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

Tomohiko Takagi, Koichiro Sakata, 2020, 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

An overview and case study of a statistical regression testing method for software maintenance

Tomohiko Takagi, Toshinori Yamasaki, Zengo Furukawa, 2007 .

Construction Technique of Large Operational Profiles for Statistical Software Testing

Tomohiko Takagi, Zengo Furukawa, 2013 .

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

Tomohiko Takagi, Takuya Arao, 2015, 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

The method to divide a sentence of requirement into individual requirements and the development of requirement specification editor which can describe individual requirements

Tomohiko Takagi, Seiichi Komiya, Rihito Yaegashi, 2013, SpringerPlus.

Development of a Tool for Extended Place/transition Net-Based Mutation Testing

Tomohiko Takagi, Tetsuro Katayama, Shogo Morimoto, 2017 .

Back-to-Back Testing Framework Using a Machine Learning Method

Tomohiko Takagi, Zengo Furukawa, Takeshi Utsumi, 2013 .

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

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

Decision-Making about Software Release Time Using Analytic Hierarchy Process

Tomohiko Takagi, Rihito Yaegashi, Yoshinobu Machida, 2014, 2014 IIAI 3rd International Conference on Advanced Applied Informatics.

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

Tomohiko Takagi, Shogo Morimoto, 2018, J. Robotics Netw. Artif. Life.

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

Tomohiko Takagi, Zengo Furukawa, 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.

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

Tomohiko Takagi, Shun Akimoto, Yuma Namba, 2015, 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

Model-Based Mutation Testing Using Pushdown Automata

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, 2012, IEICE Trans. Inf. Syst..

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

Tomohiko Takagi, Zengo Furukawa, Naoya Oyaizu, 2010, 2010 IEEE/ACIS 9th International Conference on Computer and Information Science.

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

Tomohiko Takagi, Tatsuki Teramoto, 2016, 2016 IEEE/ACIS 15th International Conference on Computer and Information Science (ICIS).

Constructing a usage model for statistical testing with source code generation methods

Tomohiko Takagi, Zengo Furukawa, 2004, 11th Asia-Pacific Software Engineering Conference.

Test Case Generation Technique Based on Extended Coverability Trees

Tomohiko Takagi, Zengo Furukawa, Tomohiko Takagi, 2012, 2012 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing.

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

Liang Xu, Tomohiko Takagi, Rihito Yaegashi, 2015, 2015 IEEE/ACIS 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD).

Behavioral Modeling Technique for Multiple Objects of Software Using Extended Place/Transition Nets with Attributed Tokens

Tomohiko Takagi, Ryo Kurozumi, 2020 .

Prototype of an Animated Graphics-Based Training Support Tool for Bug Fixing of Extended Place/Transition Nets

Yoshiro Imai, Tomohiko Takagi, Shogo Morimoto, 2019 .

Constructing a Usage Model for Statistical Testing using Shlaer-Mellor Method

Tomohiko Takagi, Toshinori Yamasaki, Zengo Furukawa, 2006 .

Development of Requirement Specification Editor with Semantic Information

Tomohiko Takagi, Seiichi Komiya, Rihito Yaegashi, 2012, JCKBSE.

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

Mutlu Beyazit, Tomohiko Takagi, 2014, Software Engineering Research, Management and Applications.

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

Tomohiko Takagi, Tetsuro Katayama, Shogo Morimoto, 2017, J. Robotics Netw. Artif. Life.