Juichi Takahashi

Extended-model Based testing by Using Directed Chinese Postman Problem

Yoshiaki Kakuda, Mitsuru Ohba, Juichi Takahashi, 2003 .

A model for concurrent states and its coverage criteria

Yoshiaki Kakuda, Juichi Takahashi, Hideharu Kojima, 2009, 2009 International Symposium on Autonomous Decentralized Systems.

Software Testing by Petri Net

Juichi Takahashi, 2004 .

Extended Model-Based Testing toward High Code Coverage Rate

Yoshiaki Kakuda, Juichi Takahashi, Y. Kakuda, 2002, ECSQ.

Extended-Model Based Testing by Directed Chinese Postman Algorithm

Yoshiaki Kakuda, Juichi Takahashi, 2002, HASE.

An Automated Oracle for Verifying

Juichi Takahashi, Juichi Takahashi, 2000 .

Effective Automated Testing: A Solution of Graphical Object Verification

Yoshiaki Kakuda, Juichi Takahashi, 2002, Asian Test Symposium.

An automated oracle for verifying GUI objects

Juichi Takahashi, 2001, SOEN.

Intelligent versus Random Software Testing

Juichi Takahashi, 2004, IEICE Trans. Inf. Syst..

Coverage Based Testing for Concurrent Software

Zengo Furukawa, Juichi Takahashi, Hideharu Kojima, 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

An Equivalent Division Method for Reducing Test Cases in State Transition Testing of MANET Protocols

Tomoyuki Ohta, Yoshiaki Kakuda, Juichi Takahashi, 2009, IEICE Trans. Commun..