Zengo Furukawa

Publication Activity (10 Years)

Years Active: 1991-2013
Publications (10 Years): 0

Top Topics

Variable Precision

Attribute Reduction

Test Case Generation

Top Venues

IEICE Trans. Inf. Syst.

Publications

Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida
Test Strategies Using Operational Profiles Based on Decision Tables. COMPSAC (2013)
Tomohiko Takagi, Zengo Furukawa
Test Case Generation Technique Based on Extended Coverability Trees. SNPD (2012)
Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
Model-Based Mutation Testing Using Pushdown Automata. IEICE Trans. Inf. Syst. (9) (2012)
Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, Zengo Furukawa, Seiichi Komiya, Rihito Yaegashi
Development of Requirement Specification Editor with Semantic Information. JCKBSE (2012)
Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata. ICST (2011)
Tomohiko Takagi, Naoya Oyaizu, Zengo Furukawa
Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets. ACIS-ICIS (2010)
Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa
Development and Evaluation of HAYST Method Tool (Software Testing). SoMeT (2010)
Tomohiko Takagi, Zengo Furukawa
The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software. ACIS-ICIS (2010)
Tomohiko Takagi, Zengo Furukawa
GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton. ISSRE (2008)
Juichi Takahashi, Hideharu Kojima, Zengo Furukawa
Coverage Based Testing for Concurrent Software. ICDCS Workshops (2008)
Tomohiko Takagi, Zengo Furukawa
Construction Method of a High-Order Markov Chain Usage Model. APSEC (2007)
Tomohiko Takagi, Zengo Furukawa
Constructing a Usage Model for Statistical Testing with Source Code Generation Methods. APSEC (2004)
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) (2002)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
Design and Implementation of Test-Case Generation for Concurrent Programs. APSEC (1998)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
A Test-case Generation Method for Concurrent Programs Including Task-types. APSEC (1997)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph. APSEC (1996)
Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs. APSEC (1996)
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
Event Interactions Graph for Test-case Generation of Concurrent Programs. APSEC (1995)
Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima
Ordered sequence testing criteria for concurrent programs and the support tool. APSEC (1994)
Keijiro Araki, Zengo Furukawa, Jingde Cheng
A General Framework for Debugging. IEEE Softw. 8 (3) (1991)