Kuo-Chung Tai

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