Zengo Furukawa

21 papers A 2B 1C 10Journal 3Unranked 4
YearRankTypeTitle / Venue / Authors
2013 B conf
Test Strategies Using Operational Profiles Based on Decision Tables.
COMPSAC
Tomohiko Takagi, Zengo Furukawa, Yoshinobu Machida
2012 — conf
Development of Requirement Specification Editor with Semantic Information.
JCKBSE
Kuniya Sato, Masahiro Ooba, Tomohiko Takagi, Zengo Furukawa, Seiichi Komiya, Rihito Yaegashi
2012 J jnl
Model-Based Mutation Testing Using Pushdown Automata.
IEICE Trans. Inf. Syst.
Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
2012 C conf
Test Case Generation Technique Based on Extended Coverability Trees.
SNPD
Tomohiko Takagi, Zengo Furukawa
2011 A conf
Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.
ICST
Fevzi Belli, Mutlu Beyazit, Tomohiko Takagi, Zengo Furukawa
2010 — conf
Concurrent N-Switch Coverage Criterion for Generating Test Cases from Place/Transition Nets.
ACIS-ICIS
Tomohiko Takagi, Naoya Oyaizu, Zengo Furukawa
2010 C conf
Development and Evaluation of HAYST Method Tool (Software Testing).
SoMeT
Kouichi Akiyama, Tomohiko Takagi, Zengo Furukawa
2010 — conf
The Pushdown Automaton and Its Coverage Criterion for Testing Undo/Redo Functions of Software.
ACIS-ICIS
Tomohiko Takagi, Zengo Furukawa
2009 — ch.
Usage Distribution Coverage: What Percentage of Expected Use Has Been Executed in Software Testing?
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Tomohiko Takagi, Kazuya Nishimachi, Masayuki Muragishi, Takashi Mitsuhashi, Zengo Furukawa
2008 — conf
Coverage Based Testing for Concurrent Software.
ICDCS Workshops
Juichi Takahashi, Hideharu Kojima, Zengo Furukawa
2008 A conf
GB Coverage Criteria: The Measurement for Testing a "Go Back" Function Based on a Pushdown Automaton.
ISSRE
Tomohiko Takagi, Zengo Furukawa
2007 C conf
Construction Method of a High-Order Markov Chain Usage Model.
APSEC
Tomohiko Takagi, Zengo Furukawa
2004 C conf
Constructing a Usage Model for Statistical Testing with Source Code Generation Methods.
APSEC
Tomohiko Takagi, Zengo Furukawa
2002 J jnl
Development of virtual learning environment for discovery learning in school education.
Syst. Comput. Jpn.
Yukihiro Matsubara, Hiroyuki Tominaga, Zengo Furukawa, Toshinori Yamasaki, Mitsuo Nagamachi
1998 C conf
Design and Implementation of Test-Case Generation for Concurrent Programs.
APSEC
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
1997 C conf
A Test-case Generation Method for Concurrent Programs Including Task-types.
APSEC
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
1996 C conf
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph.
APSEC
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
1996 C conf
A Prototype of a Concurrent Behavior Monitoring Tool for Testing of Concurrent Programs.
APSEC
Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima
1995 C conf
Event Interactions Graph for Test-case Generation of Concurrent Programs.
APSEC
Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima
1994 C conf
Ordered sequence testing criteria for concurrent programs and the support tool.
APSEC
Eisuke Itoh, Yutaka Kawaguchi, Zengo Furukawa, Kazuo Ushijima
1991 J jnl
A General Framework for Debugging.
IEEE Softw.
Keijiro Araki, Zengo Furukawa, Jingde Cheng