A General Framework for Debugging. - Keijiro Araki; Zengo Furukawa; Jingde Cheng (IEEE Softw., 1991)

Ordered sequence testing criteria for concurrent programs and the support tool. - Eisuke Itoh; Yutaka Kawaguchi; Zengo Furukawa; Kazuo Ushijima (APSEC, 1994)

Event Interactions Graph for Test-case Generation of Concurrent Programs. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1995)

A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. - Eisuke Itoh; Zengo Furukawa; Kazuo Ushijima (APSEC, 1996)

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1996)

A Test-case Generation Method for Concurrent Programs Including Task-types. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1997)

Design and Implementation of Test-Case Generation for Concurrent Programs. - Tetsuro Katayama; Zengo Furukawa; Kazuo Ushijima (APSEC, 1998)

Development of virtual learning environment for discovery learning in school education. - Yukihiro Matsubara; Hiroyuki Tominaga; Zengo Furukawa; Toshinori Yamasaki; Mitsuo Nagamachi (Syst. Comput. Jpn., 2002)

Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. - Tomohiko Takagi; Zengo Furukawa (APSEC, 2004)

Construction Method of a High-Order Markov Chain Usage Model. - Tomohiko Takagi; Zengo Furukawa (APSEC, 2007)

Coverage Based Testing for Concurrent Software. - Juichi Takahashi; Hideharu Kojima; Zengo Furukawa (ICDCS Workshops, 2008)

GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton. - Tomohiko Takagi; Zengo Furukawa (ISSRE, 2008)

Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing? - Tomohiko Takagi; Kazuya Nishimachi; Masayuki Muragishi; Takashi Mitsuhashi; Zengo Furukawa (Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, 2009)

The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software. - Tomohiko Takagi; Zengo Furukawa (ACIS-ICIS, 2010)

Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets. - Tomohiko Takagi; Naoya Oyaizu; Zengo Furukawa (ACIS-ICIS, 2010)

Development and Evaluation of HAYST Method Tool (Software Testing). - Kouichi Akiyama; Tomohiko Takagi; Zengo Furukawa (SoMeT, 2010)

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. - Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa (ICST, 2011)

Development of Requirement Specification Editor with Semantic Information. - Kuniya Sato; Masahiro Ooba; Tomohiko Takagi; Zengo Furukawa; Seiichi Komiya; Rihito Yaegashi (JCKBSE, 2012)

Test Case Generation Technique Based on Extended Coverability Trees. - Tomohiko Takagi; Zengo Furukawa (SNPD, 2012)

Model-Based Mutation Testing Using Pushdown Automata. - Fevzi Belli; Mutlu Beyazit; Tomohiko Takagi; Zengo Furukawa (IEICE Trans. Inf. Syst., 2012)

Test Strategies Using Operational Profiles Based on Decision Tables. - Tomohiko Takagi; Zengo Furukawa; Yoshinobu Machida (COMPSAC, 2013)