Chyan-Goei Chung

Publication Activity (10 Years)

Years Active: 1982-2000
Publications (10 Years): 0

Publications

Wen Chien Liu, Chyan-Goei Chung
Path-based protocol verification approach. Inf. Softw. Technol. 42 (4) (2000)
Wen Chien Liu, Chyan-Goei Chung
Path-based Model Checking. ICDCS Workshop on Distributed System Validation and Verification (2000)
Wen Chien Liu, Chyan-Goei Chung
Symbolic path-based protocol verification. Inf. Softw. Technol. 42 (4) (2000)
Wu-Chi Chen, Deng-Jyi Chen, Chyan-Goei Chung
An Expert-System Technique for Object-Oriented Program Testing. J. Object Oriented Program. 11 (9) (1999)
Chyan-Goei Chung, Jen-Gaw Lee
An enhanced zero-one optimal path set selection method. J. Syst. Softw. 39 (2) (1997)
Chyan-Goei Chung, Jen-Gaw Lee
An Enhanced Zero-One Optimal Path Set Selection Method. APSEC (1995)
Shih-Chien Chou, Chyan-Goei Chung
An OOA model with system function specifications. ICRE (1994)
Yin-Hsong Hsu, Yue-Sun Kuo, Chyan-Goei Chung
An Object-Oriented Graphics System Adopting User Interface Management Techniques. J. Inf. Sci. Eng. 10 (3) (1994)
P. J. Lee, Deng-Jyi Chen, Chyan-Goei Chung
An object-oriented modelling approach to system software design. Inf. Softw. Technol. 36 (11) (1994)
Chen-Yuan Chang, Chyan-Goei Chung
A knowledge-based operation support system for network traffic management. Decis. Support Syst. 11 (1) (1994)
Jen-Gaw Lee, Ming-Jyh Feng, Chyan-Goei Chung
A structural testing method for C++ programs. COMPSAC (1994)
Ming-Jie Chen, Chyan-Goei Chung
Restructuring operations for data-flow diagrams. Softw. Eng. J. 6 (4) (1991)
Tsu-Feng Ho, Wah-Chun Chan, Chyan-Goei Chung
Reliability modeling of parallel programs with modular structure using stochastic Petri nets. J. Syst. Softw. 16 (2) (1991)
Ren-Juh Lea, Slong Chen, Chyan-Goei Chung
On generating test data from prototypes. COMPSAC (1991)
Ming-Jie Chen, Chyan-Goei Chung
A process modeling language for large process control systems. COMPSAC (1990)
Ren-Dar Yang, Chyan-Goei Chung
The analysis of infeasible concurrent paths of concurrent Ada programs. COMPSAC (1990)
Ren-Dar Yang, Chyan-Goei Chung
Testing Concurrent Ada Program with Reproducible Test Cases. SEKE (1989)
Jin-Cherng Lin, Chyan-Goei Chung
Zero-one integer programming model in path selection problem of structural testing. COMPSAC (1989)
Ren-Juh Lea, Chyan-Goei Chung
A Two-Level Model for Software Rapid Prototyping. SEKE (1989)
Chyan-Goei Chung, Kuang-Wei Han, Hsi-Han Yeh
Digitalization of continuous-data systems via time-response matching. Inf. Sci. 26 (2) (1982)