Tomohiko Takagi

34 papers A 2B 2C 14Journal 7Unranked 8

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