The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Kuo-Chung Tai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  46. An introduction to computed chaining. [Citation Graph (, )][DBLP]


  47. Static analysis of concurrent software for deriving synchronization constraints. [Citation Graph (, )][DBLP]


Search in 0.069secs, Finished in 0.070secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002