 | 2011 |
| 16 |  | Fevzi Belli,
Mutlu Beyazit,
Tomohiko Takagi,
Zengo Furukawa:
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.
ICST 2011: 249-258 |
| 2010 |
| 15 |  | Tomohiko Takagi,
Zengo Furukawa:
The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software.
ACIS-ICIS 2010: 770-775 |
| 14 |  | Tomohiko Takagi,
Naoya Oyaizu,
Zengo Furukawa:
Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets.
ACIS-ICIS 2010: 782-787 |
| 13 |  | Kouichi Akiyama,
Tomohiko Takagi,
Zengo Furukawa:
Development and Evaluation of HAYST Method Tool (Software Testing).
SoMeT 2010: 398-414 |
| 2009 |
| 12 |  | 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 |
| 11 |  | Juichi Takahashi,
Hideharu Kojima,
Zengo Furukawa:
Coverage Based Testing for Concurrent Software.
ICDCS Workshops 2008: 533-538 |
| 10 |  | 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 |
| 9 |  | Tomohiko Takagi,
Zengo Furukawa:
Construction Method of a High-Order Markov Chain Usage Model.
APSEC 2007: 120-126 |
| 2004 |
| 8 |  | Tomohiko Takagi,
Zengo Furukawa:
Constructing a Usage Model for Statistical Testing with Source Code Generation Methods.
APSEC 2004: 448-454 |
| 2002 |
| 7 |  | Yukihiro Matsubara,
Hiroyuki Tominaga,
Zengo Furukawa,
Toshinori Yamasaki,
Mitsuo Nagamachi:
Development of virtual learning environment for discovery learning in school education.
Systems and Computers in Japan 33(7): 61-72 (2002) |
| 1998 |
| 6 |  | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
Design and Implementation of Test-Case Generation for Concurrent Programs.
APSEC 1998: 262-269 |
| 1997 |
| 5 |  | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
A Test-case Generation Method for Concurrent Programs Including Task-types.
APSEC 1997: 485-494 |
| 1996 |
| 4 |  | Eisuke Itoh,
Zengo Furukawa,
Kazuo Ushijima:
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.
APSEC 1996: 345-354 |
| 3 |  | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.
APSEC 1996: 355- |
| 1995 |
| 2 |  | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
Event Interactions Graph for Test-case Generation of Concurrent Programs.
APSEC 1995: 29-37 |
| 1991 |
| 1 |  | Keijiro Araki,
Zengo Furukawa,
Jingde Cheng:
A General Framework for Debugging.
IEEE Software 8(3): 14-20 (1991) |