Kuo-Chung Tai

Publication Activity (10 Years)

Years Active: 1977-2002
Publications (10 Years): 0

Publications

Yu Lei, Kuo-Chung Tai
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. ISSRE (2002)
Yu Lei, Kuo-Chung Tai
Efficient Reachability Testing of Asynchronous Message-Passing Programs. ICECCS (2002)
Burak Serdar, Kuo-Chung Tai
A New Approach To Checking Sequence Generation for Finite State Machines. TestCom (2002)
Kuo-Chung Tai, Yu Lei
A Test Generation Strategy for Pairwise Testing. IEEE Trans. Software Eng. 28 (1) (2002)
Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai
Incremental Integration Testing of Concurrent Programs. IEEE Trans. Software Eng. 28 (6) (2002)
Kuo-Chung Tai, Bengi Karaçali
On Godefroid's Stateless Search Technique for Testing Concurrent Programs. ISADS (2001)
Jun Zhou, Kuo-Chung Tai
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. ISSRE (2001)
Jun Zhou, Kuo-Chung Tai
Deadlock Analysis of Client/Server Programs. ICDCS (2000)
Bengi Karaçali, Kuo-Chung Tai, Mladen A. Vouk
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. DSN (2000)
Bengi Karaçali, Kuo-Chung Tai
Model Checking Based on Simultaneous Reachability Analysis. SPIN (2000)
Jun Zhou, Kuo-Chung Tai
Deadlock Analysis of Synchronous Message-Passing Programs. PDSE (1999)
Bengi Karaçali, Kuo-Chung Tai
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. PDSE (1999)
Yu Lei, Kuo-Chung Tai
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. HASE (1998)
Alessio Bechini, Kuo-Chung Tai
Timestamps for Programs Using Messages and Shared Variables. ICDCS (1998)
Alessio Bechini, Kuo-Chung Tai
Design of a Toolset for Dynamic Analysis of Concurrent Java Program. IWPC (1998)
Kuo-Chung Tai, Yu-Chiou Young
Synchronizable Test Sequences of Finite State Machines. Comput. Networks 30 (12) (1998)
Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk
Specification-Based Testing Using Cause-Effect Graphs. Ann. Softw. Eng. 4 (1997)
Kuo-Chung Tai
Reachability Testing of Asynchronous Message-Passing Programs. PDSE (1997)
Kuo-Chung Tai, Fonda J. Daniels
Test Order for Inter-Class Integration Testing of Object-Oriented Software. COMPSAC (1997)
Kuo-Chung Tai
Theory of Fault-Based Predicate Testing for Computer Programs. IEEE Trans. Software Eng. 22 (8) (1996)
Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk
Automatic test generation for predicates. ISSRE (1996)
Kuo-Chung Tai, Richard H. Carver
VP: A New Operating for Semaphores. ACM SIGOPS Oper. Syst. Rev. 30 (3) (1996)
Pramod V. Koppol, Kuo-Chung Tai
An Incremental Approach to Structural Testing of Concurrent Software. ISSTA (1996)
Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk
Automatic test-generation for predicates [software testing]. IEEE Trans. Reliab. 45 (4) (1996)
Kuo-Chung Tai, Richard H. Carver
A Specification-Based Methology for Testing Concurrent Programs. ESEC (1995)
Amit M. Paradkar, Kuo-Chung Tai
Test generation for Boolean expressions. ISSRE (1995)
Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang
Reachability Testing: an Approach to Testing Concurrent Software. Int. J. Softw. Eng. Knowl. Eng. 5 (4) (1995)
Richard H. Carver, Kuo-Chung Tai
Test Sequence Generation from Formal Specifications of Distributed Programs. ICDCS (1995)
Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar
Empirical studies of predicate-based software testing. ISSRE (1994)
Kuo-Chung Tai, Richard H. Carver
Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs. ICPADS (1994)
Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang
Reachability testing: an approach to testing concurrent software. APSEC (1994)
Kuo-Chung Tai, Mladen A. Vouk, Amit M. Paradkar, Peng Lu
Evaluation of a Predicate-Based Software Testing Strategy. IBM Syst. J. 33 (3) (1994)
Kuo-Chung Tai
Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs. ICPP (2) (1994)
Kuo-Chung Tai, Pramod V. Koppol
Hierarchy-based incremental analysis of communication protocols. ICNP (1993)
Kuo-Chung Tai, Amit M. Paradkar, Hsun-Kang Su, Mladen A. Vouk
Fault-based test generation for cause-effect graphs. CASCON (1993)
Kuo-Chung Tai
Predicate-Based Test Generation for Computer Programs. ICSE (1993)
Kuo-Chung Tai, Pramod V. Koppol
An Incremental Approach to Reachability Analysis of Distributed Programs. IWSSD (1993)
Mladen A. Vouk, Kuo-Chung Tai
Some issues in multi-phase software reliability modeling. CASCON (1993)
Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid
Debugging Concurrent Ada Programs by Deterministic Execution. IEEE Trans. Software Eng. 17 (1) (1991)
Richard H. Carver, Kuo-Chung Tai
Replay and Testing fro Concurrent Programs. IEEE Softw. 8 (2) (1991)
Richard H. Carver, Kuo-Chung Tai
Static analysis of concurrent software for deriving synchronization constraints. ICDCS (1991)
Kuo-Chung Tai, Hong-Fa Ho, Gen-Huey Chen
Protocol validation using a pumping-based approach. COMPSAC (1991)
Kuo-Chung Tai
Testing of concurrent software. COMPSAC (1989)
Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid
Deterministic execution debugging of concurrent Ada programs. COMPSAC (1989)
Richard H. Carver, Kuo-Chung Tai
Deterministic execution testing of concurrent Ada programs. TRI-Ada (1989)
Kuo-Chung Tai
A Course on Software Enigneering for Concurrent Systems. CSEE (1988)
Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid
A methodology for testing concurrent Ada programs. WADAS (1987)
Kuo-Chung Tai
An approach to testing concurrent Ada programs. WADAS (1986)
Richard H. Carver, Kuo-Chung Tai
Reproducible Testing of Concurrent Programs Based on Shared Variables. ICDCS (1986)
Kuo-Chung Tai, Alan L. Tharp
A Comparison of Computed Chaining to Predictors. IEEE Trans. Software Eng. 12 (8) (1986)
Kuo-Chung Tai
A Program Complexity Metric Based on Data Flow Information in Control Graphs. ICSE (1984)
Jeffrey W. Mincy, Alan L. Tharp, Kuo-Chung Tai
Visualizing algorithms and processes with the aid of a computer. SIGCSE (1983)
Alan L. Tharp, Kuo-Chung Tai
The Practicality of Text Signatures for Accelerating String Searching. Softw. Pract. Exp. 12 (1) (1982)
Charles H. Minchew, Kuo-Chung Tai
Experience with porting the Portable C Compiler. ACM Annual Conference (1982)
Kuo-Chung Tai
Comments on parameter passing techniques in programming languages. ACM SIGPLAN Notices 17 (2) (1982)
Kuo-Chung Tai, Alan L. Tharp
Computed chaining - A hybrid of direct chaining and open addressing. Inf. Syst. 6 (2) (1981)
Kuo-Chung Tai, Alan L. Tharp
An introduction to computed chaining. AFIPS National Computer Conference (1980)
Kuo-Chung Tai
Locally minimum-distance correction of syntax errors in programming languages. ACM Annual Conference (1980)
Kuo-Chung Tai
Program Testing Complexity and Test Criteria. IEEE Trans. Software Eng. 6 (6) (1980)
Kuo-Chung Tai
Predictors of Context-Free Grammars. SIAM J. Comput. 9 (3) (1980)
Kuo-Chung Tai, Kenneth P. Garrard
Comments on the suggested implementation of tasking facilities in the "rationale for the design of the ADA programming language". ACM SIGPLAN Notices 15 (10) (1980)
Kuo-Chung Tai
On the implementation of parsing tables. ACM SIGPLAN Notices 14 (1) (1979)
Kuo-Chung Tai
Noncanonical SLR(1) Grammars. ACM Trans. Program. Lang. Syst. 1 (2) (1979)
Kuo-Chung Tai
Constant Folding Within an Expression by Semantic Attributes. Comput. Lang. 4 (3-4) (1979)
Kuo-Chung Tai
On program testing criteria. COMPSAC (1979)
Kuo-Chung Tai
The Tree-to-Tree Correction Problem. J. ACM 26 (3) (1979)
Kuo-Chung Tai
Syntactic Error Correction in Programming Languages. IEEE Trans. Software Eng. 4 (5) (1978)
Kuo-Chung Tai
Fault-tolerant string processing by pattern mapping. ACM Annual Conference (1977)
Kuo-Chung Tai
The recovery of parsing configurations for LR(1) parsers. ACM-SE (1977)