default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTomohiko Takagi
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c26]Tomohiko Takagi, Rikuto Otake, Sho Matsumoto:
EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT. COMPSAC 2024: 1500-1501- [c25]Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi:
Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications. PRDC 2024: 189-190 - 2022
- [j7]Tomohiko Takagi, Akio Usuda:
A Technique for Learning Software Modeling Using Extended Place/Transition Net and Its Prototype Tool. J. Robotics Netw. Artif. Life 9(1): 81-86 (2022) - 2021
- [j6]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): 112-116 (2021) - 2020
- [j5]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): 194-198 (2020) - [c24]Tomohiko Takagi, Koichiro Sakata:
Test-First for Abstracted Behavior of Software Using Extended Finite State Machine. ISSRE Workshops 2020: 159-160
2010 – 2019
- 2019
- [j4]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): 278-282 (2019) - [c23]Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama:
State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. PRDC 2019: 29-30 - 2018
- [j3]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): 122-127 (2018) - 2017
- [j2]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): 168-174 (2017) - [c22]Masahiko Jinno, Tomohiko Takagi, Yuto Uemura:
Enhanced survivability of translucent elastic optical network employing shared protection with fallback. OFC 2017: 1-3 - 2016
- [c21]Shun Akimoto, Shunta Nakanishi, Rihito Yaegashi, Tomohiko Takagi:
Extended differential control flow graphs for the selection of test cases in regression testing. ICIS 2016: 1-2 - [c20]Tomohiko Takagi, Keisuke Noda:
Partially developed coverability graphs for modeling test case execution histories. ICIS 2016: 1-2 - [c19]Tomohiko Takagi, Tatsuki Teramoto:
Extended mutation score based on weighted place/transition nets to evaluate test suites. ICIS 2016: 1-3 - [c18]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: 1-3 - 2015
- [c17]Masahiko Jinno, Tomohiko Takagi, Kosuke Kiyokawa:
Minimal virtualized-elastic-regenerator placement and least congestion resources assignment for translucent elastic optical networks. OFC 2015: 1-3 - [c16]Yuma Namba, Shun Akimoto, Tomohiko Takagi:
Overview of graphical operational profiles for generating test cases of GUI software. SNPD 2015: 449-451 - [c15]Shun Akimoto, Rihito Yaegashi, Tomohiko Takagi:
Test case selection technique for regression testing using differential control flow graphs. SNPD 2015: 453-455 - [c14]Tomohiko Takagi, Takuya Arao:
Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software. SNPD 2015: 457-459 - [c13]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: 623-626 - 2014
- [c12]Takuya Arao, Yoshinobu Machida, Ken Toda, Rihito Yaegashi, Tomohiko Takagi:
Decision-Making about Software Release Time Using Analytic Hierarchy Process. IIAI-AAI 2014: 751-756 - [c11]Tomohiko Takagi, Mutlu Beyazit
:
Optimized Test Case Generation Based on Operational Profiles with Fault-Proneness Information. Software Engineering Research, Management and Applications 2014: 15-25 - 2013
- [c10]Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida:
Test Strategies Using Operational Profiles Based on Decision Tables. COMPSAC 2013: 722-723 - 2012
- [j1]Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa:
Model-Based Mutation Testing Using Pushdown Automata. IEICE Trans. Inf. Syst. 95-D(9): 2211-2218 (2012) - [c9]Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, Zengo Furukawa, Seiichi Komiya, Rihito Yaegashi:
Development of Requirement Specification Editor with Semantic Information. JCKBSE 2012: 191-196 - [c8]Tomohiko Takagi, Zengo Furukawa:
Test Case Generation Technique Based on Extended Coverability Trees. SNPD 2012: 301-306 - 2011
- [c7]Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa:
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. ICST 2011: 249-258 - 2010
- [c6]Tomohiko Takagi, Zengo Furukawa:
The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software. ACIS-ICIS 2010: 770-775 - [c5]Tomohiko Takagi, Naoya Oyaizu, Zengo Furukawa:
Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets. ACIS-ICIS 2010: 782-787 - [c4]Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa:
Development and Evaluation of HAYST Method Tool (Software Testing). SoMeT 2010: 398-414
2000 – 2009
- 2009
- [p1]Tomohiko Takagi, Kazuya Nishimachi, Masayuki Muragishi, Takashi Mitsuhashi, Zengo Furukawa:
Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing? Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2009: 57-67 - 2008
- [c3]Tomohiko Takagi, Zengo Furukawa:
GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton. ISSRE 2008: 293-294 - 2007
- [c2]Tomohiko Takagi, Zengo Furukawa:
Construction Method of a High-Order Markov Chain Usage Model. APSEC 2007: 120-126 - 2004
- [c1]Tomohiko Takagi, Zengo Furukawa:
Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. APSEC 2004: 448-454
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-03-08 00:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
