| 2024 | COMPSAC | EPNATOP: an Operational Profile for Verifying Software Designs Based on EPNAT. | Tomohiko Takagi, Rikuto Otake, Sho Matsumoto |
| 2024 | PRDC | Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications. | Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi |
| 2020 | ISSRE | Test-First for Abstracted Behavior of Software Using Extended Finite State Machine. | Tomohiko Takagi, Koichiro Sakata |
| 2019 | PRDC | State Transition Tuple Coverage Criterion for Extended Place/Transition Net-Based Testing. | Tomohiko Takagi, Ryo Kurozumi, Tetsuro Katayama |
| 2015 | SNPD | Test case selection technique for regression testing using differential control flow graphs. | Shun Akimoto, Rihito Yaegashi, Tomohiko Takagi |
| 2015 | SNPD | 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 |
| 2015 | SNPD | Overview of graphical operational profiles for generating test cases of GUI software. | Yuma Namba, Shun Akimoto, Tomohiko Takagi |
| 2015 | SNPD | Overview of a place/transition net-based mutation testing framework to obtain test cases effective for concurrent software. | Tomohiko Takagi, Takuya Arao |
| 2013 | COMPSAC | Test Strategies Using Operational Profiles Based on Decision Tables. | Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida |
| 2012 | SNPD | Test Case Generation Technique Based on Extended Coverability Trees. | Tomohiko Takagi, Zengo Furukawa |
| 2011 | ICST | Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. | Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa |
| 2010 | SoMeT | Development and Evaluation of HAYST Method Tool (Software Testing). | Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa |
| 2008 | ISSRE | GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton. | Tomohiko Takagi, Zengo Furukawa |
| 2007 | APSEC | Construction Method of a High-Order Markov Chain Usage Model. | Tomohiko Takagi, Zengo Furukawa |
| 2004 | APSEC | Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. | Tomohiko Takagi, Zengo Furukawa |