| 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 |
| 1998 | APSEC | Design and Implementation of Test-Case Generation for Concurrent Programs. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1997 | APSEC | A Test-case Generation Method for Concurrent Programs Including Task-types. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1996 | APSEC | A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. | Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima |
| 1996 | APSEC | A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1995 | APSEC | Event Interactions Graph for Test-case Generation of Concurrent Programs. | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
| 1994 | APSEC | Ordered sequence testing criteria for concurrent programs and the support tool. | Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima |