| 2008 |
|---|
| 11 | EE | Juichi Takahashi,
Hideharu Kojima,
Zengo Furukawa:
Coverage Based Testing for Concurrent Software.
ICDCS Workshops 2008: 533-538 |
| 10 | EE | 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 | EE | Tomohiko Takagi,
Zengo Furukawa:
Construction Method of a High-Order Markov Chain Usage Model.
APSEC 2007: 120-126 |
| 2004 |
|---|
| 8 | EE | Tomohiko Takagi,
Zengo Furukawa:
Constructing a Usage Model for Statistical Testing with Source Code Generation Methods.
APSEC 2004: 448-454 |
| 2002 |
|---|
| 7 | EE | 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 | EE | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
Design and Implementation of Test-Case Generation for Concurrent Programs.
APSEC 1998: 262-269 |
| 1997 |
|---|
| 5 | EE | Tetsuro Katayama,
Zengo Furukawa,
Kazuo Ushijima:
A Test-case Generation Method for Concurrent Programs Including Task-types.
APSEC 1997: 485-494 |
| 1996 |
|---|
| 4 | EE | Eisuke Itoh,
Zengo Furukawa,
Kazuo Ushijima:
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.
APSEC 1996: 345-354 |
| 3 | EE | 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 | EE | 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) |
