Chyan-Goei Chung

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