Syntactic Error Correction In Programming Languages. - Kuo-Chung Tai (1976)

The recovery of parsing configurations for LR(1) parsers. - Kuo-Chung Tai (ACM-SE, 1977)

Fault-tolerant string processing by pattern mapping. - Kuo-Chung Tai (ACM Annual Conference, 1977)

Syntactic Error Correction in Programming Languages. - Kuo-Chung Tai (IEEE Trans. Software Eng., 1978)

On program testing criteria. - Kuo-Chung Tai (COMPSAC, 1979)

Constant Folding Within an Expression by Semantic Attributes. - Kuo-Chung Tai (Comput. Lang., 1979)

Immediate Error Detection in Strong LL(1) Parsers. - Charles N. Fischer; Kuo-Chung Tai; D. R. Milton (Inf. Process. Lett., 1979)

The Tree-to-Tree Correction Problem. - Kuo-Chung Tai (J. ACM, 1979)

On the implementation of parsing tables. - Kuo-Chung Tai (ACM SIGPLAN Notices, 1979)

Noncanonical SLR(1) Grammars. - Kuo-Chung Tai (ACM Trans. Program. Lang. Syst., 1979)

Locally minimum-distance correction of syntax errors in programming languages. - Kuo-Chung Tai (ACM Annual Conference, 1980)

An introduction to computed chaining. - Kuo-Chung Tai; Alan L. Tharp (AFIPS National Computer Conference, 1980)

Predictors of Context-Free Grammars. - Kuo-Chung Tai (SIAM J. Comput., 1980)

Comments on the suggested implementation of tasking facilities in the "rationale for the design of the ADA programming language". - Kuo-Chung Tai; Kenneth P. Garrard (ACM SIGPLAN Notices, 1980)

Program Testing Complexity and Test Criteria. - Kuo-Chung Tai (IEEE Trans. Software Eng., 1980)

Computed chaining - A hybrid of direct chaining and open addressing. - Kuo-Chung Tai; Alan L. Tharp (Inf. Syst., 1981)

Experience with porting the Portable C Compiler. - Charles H. Minchew; Kuo-Chung Tai (ACM Annual Conference, 1982)

Comments on parameter passing techniques in programming languages. - Kuo-Chung Tai (ACM SIGPLAN Notices, 1982)

The Practicality of Text Signatures for Accelerating String Searching. - Alan L. Tharp; Kuo-Chung Tai (Softw. Pract. Exp., 1982)

Visualizing algorithms and processes with the aid of a computer. - Jeffrey W. Mincy; Alan L. Tharp; Kuo-Chung Tai (SIGCSE, 1983)

A Program Complexity Metric Based on Data Flow Information in Control Graphs. - Kuo-Chung Tai (ICSE, 1984)

Reproducible Testing of Concurrent Programs Based on Shared Variables. - Richard H. Carver; Kuo-Chung Tai (ICDCS, 1986)

An approach to testing concurrent Ada programs. - Kuo-Chung Tai (WADAS, 1986)

A Comparison of Computed Chaining to Predictors. - Kuo-Chung Tai; Alan L. Tharp (IEEE Trans. Software Eng., 1986)

A methodology for testing concurrent Ada programs. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (WADAS, 1987)

A Course on Software Enigneering for Concurrent Systems. - Kuo-Chung Tai (CSEE, 1988)

Testing of concurrent software. - Kuo-Chung Tai (COMPSAC, 1989)

Deterministic execution debugging of concurrent Ada programs. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (COMPSAC, 1989)

Deterministic execution testing of concurrent Ada programs. - Richard H. Carver; Kuo-Chung Tai (TRI-Ada, 1989)

Condition-based software testing strategies. - Kuo-Chung Tai (COMPSAC, 1990)

Protocol validation using a pumping-based approach. - Kuo-Chung Tai; Hong-Fa Ho; Gen-Huey Chen (COMPSAC, 1991)

Static analysis of concurrent software for deriving synchronization constraints. - Richard H. Carver; Kuo-Chung Tai (ICDCS, 1991)

Replay and Testing fro Concurrent Programs. - Richard H. Carver; Kuo-Chung Tai (IEEE Softw., 1991)

Debugging Concurrent Ada Programs by Deterministic Execution. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (IEEE Trans. Software Eng., 1991)

Fault-based test generation for cause-effect graphs. - Kuo-Chung Tai; Amit M. Paradkar; Hsun-Kang Su; Mladen A. Vouk (CASCON, 1993)

Some issues in multi-phase software reliability modeling. - Mladen A. Vouk; Kuo-Chung Tai (CASCON, 1993)

Hierarchy-based incremental analysis of communication protocols. - Kuo-Chung Tai; Pramod V. Koppol (ICNP, 1993)

Predicate-Based Test Generation for Computer Programs. - Kuo-Chung Tai (ICSE, 1993)

An Incremental Approach to Reachability Analysis of Distributed Programs. - Kuo-Chung Tai; Pramod V. Koppol (IWSSD, 1993)

Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs. - Kuo-Chung Tai; Richard H. Carver (ICPADS, 1994)

Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs. - Kuo-Chung Tai (ICPP (2), 1994)

Empirical studies of predicate-based software testing. - Mladen A. Vouk; Kuo-Chung Tai; Amit M. Paradkar (ISSRE, 1994)

Evaluation of a Predicate-Based Software Testing Strategy. - Kuo-Chung Tai; Mladen A. Vouk; Amit M. Paradkar; Peng Lu (IBM Syst. J., 1994)

A Specification-Based Methology for Testing Concurrent Programs. - Kuo-Chung Tai; Richard H. Carver (ESEC, 1995)

Test Sequence Generation from Formal Specifications of Distributed Programs. - Richard H. Carver; Kuo-Chung Tai (ICDCS, 1995)

Test generation for Boolean expressions. - Amit M. Paradkar; Kuo-Chung Tai (ISSRE, 1995)

Reachability Testing: an Approach to Testing Concurrent Software. - Gwan-Hwan Hwang; Kuo-Chung Tai; Ting-Lu Huang (Int. J. Softw. Eng. Knowl. Eng., 1995)

Automatic test generation for predicates. - Amit M. Paradkar; Kuo-Chung Tai; Mladen A. Vouk (ISSRE, 1996)

An Incremental Approach to Structural Testing of Concurrent Software. - Pramod V. Koppol; Kuo-Chung Tai (ISSTA, 1996)

VP: A New Operating for Semaphores. - Kuo-Chung Tai; Richard H. Carver (ACM SIGOPS Oper. Syst. Rev., 1996)

Automatic test-generation for predicates [software testing]. - Amit M. Paradkar; Kuo-Chung Tai; Mladen A. Vouk (IEEE Trans. Reliab., 1996)

Theory of Fault-Based Predicate Testing for Computer Programs. - Kuo-Chung Tai (IEEE Trans. Software Eng., 1996)

Test Order for Inter-Class Integration Testing of Object-Oriented Software. - Kuo-Chung Tai; Fonda J. Daniels (COMPSAC, 1997)

Race Analysis of Traces of Message-Passing Programs. - Kuo-Chung Tai (ICDCS, 1997)

Reachability Testing of Asynchronous Message-Passing Programs. - Kuo-Chung Tai (PDSE, 1997)

Specification-Based Testing Using Cause-Effect Graphs. - Amit M. Paradkar; Kuo-Chung Tai; Mladen A. Vouk (Ann. Softw. Eng., 1997)

In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. - Yu Lei 001; Kuo-Chung Tai (HASE, 1998)

Timestamps for Programs Using Messages and Shared Variables. - Alessio Bechini; Kuo-Chung Tai (ICDCS, 1998)

Design of a Toolset for Dynamic Analysis of Concurrent Java Program. - Alessio Bechini; Kuo-Chung Tai (IWPC, 1998)

Synchronizable Test Sequences of Finite State Machines. - Kuo-Chung Tai; Yu-Chiou Young (Comput. Networks, 1998)

Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs. - Bengi Karaçali; Kuo-Chung Tai (PDSE, 1999)

Deadlock Analysis of Synchronous Message-Passing Programs. - Jun Zhou; Kuo-Chung Tai (PDSE, 1999)

Measuring the Effectiveness of Method Test Sequences Derived from Sequencing Constraints. - F. J. Daniels; Kuo-Chung Tai (TOOLS (30), 1999)

Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. - Bengi Karaçali; Kuo-Chung Tai; Mladen A. Vouk (DSN, 2000)

Deadlock Analysis of Client/Server Programs. - Jun Zhou; Kuo-Chung Tai (ICDCS, 2000)

Model Checking Based on Simultaneous Reachability Analysis. - Bengi Karaçali; Kuo-Chung Tai (SPIN, 2000)

Analysis and testing of concurrent object-oriented software. - Kuo-Chung Tai (ACM SIGSOFT Softw. Eng. Notes, 2000)

On Godefroid's Stateless Search Technique for Testing Concurrent Programs. - Kuo-Chung Tai; Bengi Karaçali (ISADS, 2001)

Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. - Jun Zhou; Kuo-Chung Tai (ISSRE, 2001)

Efficient Reachability Testing of Asynchronous Message-Passing Programs. - Yu Lei 001; Kuo-Chung Tai (ICECCS, 2002)

Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. - Yu Lei 001; Kuo-Chung Tai (ISSRE, 2002)

A New Approach To Checking Sequence Generation for Finite State Machines. - Burak Serdar; Kuo-Chung Tai (TestCom, 2002)

Incremental Integration Testing of Concurrent Programs. - Pramod V. Koppol; Richard H. Carver; Kuo-Chung Tai (IEEE Trans. Software Eng., 2002)

A Test Generation Strategy for Pairwise Testing. - Kuo-Chung Tai; Yu Lei 001 (IEEE Trans. Software Eng., 2002)