 | 2002 |
|---|
| 48 |       | Yu Lei,
Kuo-Chung Tai:
Efficient Reachability Testing of Asynchronous Message-Passing Programs.
ICECCS 2002: 35- |
| 47 | | Yu Lei,
Kuo-Chung Tai:
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.
ISSRE 2002: 316-328 |
| 46 |  | Burak Serdar,
Kuo-Chung Tai:
A New Approach To Checking Sequence Generation for Finite State Machines.
TestCom 2002: 391- |
| 45 | | Kuo-Chung Tai,
Yu Lei:
A Test Generation Strategy for Pairwise Testing.
IEEE Trans. Software Eng. 28(1): 109-111 (2002) |
| 44 | | Pramod V. Koppol,
Richard H. Carver,
Kuo-Chung Tai:
Incremental Integration Testing of Concurrent Programs.
IEEE Trans. Software Eng. 28(6): 607-623 (2002) |
| 2001 |
|---|
| 43 | | Kuo-Chung Tai,
Bengi Karaçali:
On Godefroid's Stateless Search Technique for Testing Concurrent Programs.
ISADS 2001: 77-84 |
| 42 | | Jun Zhou,
Kuo-Chung Tai:
Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication.
ISSRE 2001: 222-231 |
| 2000 |
|---|
| 41 | | Bengi Karaçali,
Kuo-Chung Tai,
Mladen A. Vouk:
Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis.
DSN 2000: 315- |
| 40 | | Jun Zhou,
Kuo-Chung Tai:
Deadlock Analysis of Client/Server Programs.
ICDCS 2000: 484-491 |
| 39 | | Bengi Karaçali,
Kuo-Chung Tai:
Model Checking Based on Simultaneous Reachability Analysis.
SPIN 2000: 34-53 |
| 1999 |
|---|
| 38 | | Jun Zhou,
Kuo-Chung Tai:
Deadlock Analysis of Synchronous Message-Passing Programs.
PDSE 1999: 62- |
| 37 | | Bengi Karaçali,
Kuo-Chung Tai:
Automated Test Sequence Generation Using Sequencing Constraints for Concurrent Programs.
PDSE 1999: 97- |
| 1998 |
|---|
| 36 | | Yu Lei,
Kuo-Chung Tai:
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing.
HASE 1998: 254-261 |
| 35 | | Alessio Bechini,
Kuo-Chung Tai:
Timestamps for Programs Using Messages and Shared Variables.
ICDCS 1998: 266-273 |
| 34 | | Alessio Bechini,
Kuo-Chung Tai:
Design of a Toolset for Dynamic Analysis of Concurrent Java Program.
IWPC 1998: 190- |
| 33 | | Kuo-Chung Tai,
Yu-Chiou Young:
Synchronizable Test Sequences of Finite State Machines.
Computer Networks 30(12): 1111-1134 (1998) |
| 1997 |
|---|
| 32 | | Kuo-Chung Tai,
Fonda J. Daniels:
Test Order for Inter-Class Integration Testing of Object-Oriented Software.
COMPSAC 1997: 602-607 |
| 31 | | Amit M. Paradkar,
Kuo-Chung Tai,
Mladen A. Vouk:
Specification-Based Testing Using Cause-Effect Graphs.
Ann. Software Eng. 4: 133-157 (1997) |
| 1996 |
|---|
| 30 | | Pramod V. Koppol,
Kuo-Chung Tai:
An Incremental Approach to Structural Testing of Concurrent Software.
ISSTA 1996: 14-23 |
| 29 | | Kuo-Chung Tai:
Theory of Fault-Based Predicate Testing for Computer Programs.
IEEE Trans. Software Eng. 22(8): 552-562 (1996) |
| 28 | | Kuo-Chung Tai,
Richard H. Carver:
VP: A New Operating for Semaphores.
Operating Systems Review 30(3): 5-11 (1996) |
| 1995 |
|---|
| 27 | | Kuo-Chung Tai,
Richard H. Carver:
A Specification-Based Methology for Testing Concurrent Programs.
ESEC 1995: 154-172 |
| 26 | | Richard H. Carver,
Kuo-Chung Tai:
Test Sequence Generation from Formal Specifications of Distributed Programs.
ICDCS 1995: 360-367 |
| 25 | | Gwan-Hwan Hwang,
Kuo-Chung Tai,
Ting-Lu Huang:
Reachability Testing: an Approach to Testing Concurrent Software.
International Journal of Software Engineering and Knowledge Engineering 5(4): 493-510 (1995) |
| 1994 |
|---|
| 24 | | Kuo-Chung Tai,
Richard H. Carver:
Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs.
ICPADS 1994: 280-287 |
| 23 | | Kuo-Chung Tai:
Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs.
ICPP 1994: 69-72 |
| 22 | | Kuo-Chung Tai,
Mladen A. Vouk,
Amit M. Paradkar,
Peng Lu:
Evaluation of a Predicate-Based Software Testing Strategy.
IBM Systems Journal 33(3): 445-457 (1994) |
| 1993 |
|---|
| 21 | | Kuo-Chung Tai,
Amit M. Paradkar,
Hsun-Kang Su,
Mladen A. Vouk:
Fault-based test generation for cause-effect graphs.
CASCON 1993: 495-504 |
| 20 | | Mladen A. Vouk,
Kuo-Chung Tai:
Some issues in multi-phase software reliability modeling.
CASCON 1993: 513-523 |
| 19 | | Kuo-Chung Tai:
Predicate-Based Test Generation for Computer Programs.
ICSE 1993: 267-276 |
| 18 | | Kuo-Chung Tai,
Pramod V. Koppol:
An Incremental Approach to Reachability Analysis of Distributed Programs.
IWSSD 1993: 141-151 |
| 1991 |
|---|
| 17 | | Richard H. Carver,
Kuo-Chung Tai:
Static analysis of concurrent software for deriving synchronization constraints.
ICDCS 1991: 544-551 |
| 16 | | Richard H. Carver,
Kuo-Chung Tai:
Replay and Testing fro Concurrent Programs.
IEEE Software 8(2): 66-74 (1991) |
| 15 | | Kuo-Chung Tai,
Richard H. Carver,
Evelyn E. Obaid:
Debugging Concurrent Ada Programs by Deterministic Execution.
IEEE Trans. Software Eng. 17(1): 45-63 (1991) |
| 1988 |
|---|
| 14 | | Kuo-Chung Tai:
A Course on Software Enigneering for Concurrent Systems.
CSEE 1988: 106-119 |
| 1986 |
|---|
| 13 | | Richard H. Carver,
Kuo-Chung Tai:
Reproducible Testing of Concurrent Programs Based on Shared Variables.
ICDCS 1986: 428-433 |
| 12 | | Kuo-Chung Tai,
Alan L. Tharp:
A Comparison of Computed Chaining to Predictors.
IEEE Trans. Software Eng. 12(8): 870-874 (1986) |
| 1984 |
|---|
| 11 | | Kuo-Chung Tai:
A Program Complexity Metric Based on Data Flow Information in Control Graphs.
ICSE 1984: 239-249 |
| 1982 |
|---|
| 10 | | Kuo-Chung Tai:
Comments on parameter passing techniques in programming languages.
SIGPLAN Notices 17(2): 24-27 (1982) |
| 9 | | Alan L. Tharp,
Kuo-Chung Tai:
The Practicality of Text Signatures for Accelerating String Searching.
Softw., Pract. Exper. 12(1): 35-44 (1982) |
| 1981 |
|---|
| 8 | | Kuo-Chung Tai,
Alan L. Tharp:
Computed chaining - A hybrid of direct chaining and open addressing.
Inf. Syst. 6(2): 111-116 (1981) |
| 1980 |
|---|
| 7 | | Kuo-Chung Tai,
Alan L. Tharp:
An introduction to computed chaining.
AFIPS National Computer Conference 1980: 275-282 |
| 6 | | Kuo-Chung Tai:
Program Testing Complexity and Test Criteria.
IEEE Trans. Software Eng. 6(6): 531-538 (1980) |
| 5 | | Kuo-Chung Tai:
Predictors of Context-Free Grammars.
SIAM J. Comput. 9(3): 653-664 (1980) |
| 1979 |
|---|
| 4 | | Kuo-Chung Tai:
Noncanonical SLR(1) Grammars.
ACM Trans. Program. Lang. Syst. 1(2): 295-320 (1979) |
| 3 | | Kuo-Chung Tai:
Constant Folding Within an Expression by Semantic Attributes.
Comput. Lang. 4(3-4): 131-137 (1979) |
| 2 | | Kuo-Chung Tai:
The Tree-to-Tree Correction Problem.
J. ACM 26(3): 422-433 (1979) |
| 1978 |
|---|
| 1 | | Kuo-Chung Tai:
Syntactic Error Correction in Programming Languages.
IEEE Trans. Software Eng. 4(5): 414-425 (1978) |
