Zengo Furukawa

According to our database, Zengo Furukawa authored at least 21 papers between 1991 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Test Strategies Using Operational Profiles Based on Decision Tables.

Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012

Model-Based Mutation Testing Using Pushdown Automata.

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa

IEICE Trans. Inf. Syst., 2012

Test Case Generation Technique Based on Extended Coverability Trees.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 13th ACIS International Conference on Software Engineering, 2012

Development of Requirement Specification Editor with Semantic Information.

Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, Zengo Furukawa, Seiichi Komiya, Rihito Yaegashi

Proceedings of the Knowledge-Based Software Engineering, 2012

2011

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.

Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

2010

Development and Evaluation of HAYST Method Tool (Software Testing).

Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets.

Tomohiko Takagi, Naoya Oyaizu, Zengo Furukawa

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 9th IEEE/ACIS International Conference on Computer and Information Science, 2010

2009

Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing?

Tomohiko Takagi, Kazuya Nishimachi, Masayuki Muragishi, Takashi Mitsuhashi, Zengo Furukawa

Proceedings of the Software Engineering, 2009

2008

GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Coverage Based Testing for Concurrent Software.

Juichi Takahashi, Hideharu Kojima, Zengo Furukawa

Proceedings of the 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 2008

2007

Construction Method of a High-Order Markov Chain Usage Model.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2004

Constructing a Usage Model for Statistical Testing with Source Code Generation Methods.

Tomohiko Takagi, Zengo Furukawa

Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November, 2004

2002

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

1998

Design and Implementation of Test-Case Generation for Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 5th Asia-Pacific Software Engineering Conference (APSEC '98), 1998

1997

A Test-case Generation Method for Concurrent Programs Including Task-types.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 1997

1996

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.

Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 3rd Asia-Pacific Software Engineering Conference (APSEC '96), 1996

1995

Event Interactions Graph for Test-case Generation of Concurrent Programs.

Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

Ordered sequence testing criteria for concurrent programs and the support tool.

Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1991

A General Framework for Debugging.

Keijiro Araki, Zengo Furukawa, Jingde Cheng

IEEE Softw., 1991