Travelled to:1 × Germany
1 × Italy
1 × Spain
4 × USA
Collaborated with:∅ B.Serdar A.Bechini P.V.Koppol R.H.Carver
Talks about:program (4) concurr (4) test (3) base (3) approach (2) softwar (2) generat (2) increment (1) structur (1) metholog (1)
Person: Kuo-Chung Tai
DBLP: Tai:Kuo=Chung
Contributed to:
2002
1998
1996
1995
1993
19881984Wrote 7 papers:
- TestCom-2002-SerdarT #approach #finite #generative #sequence #state machine
- A New Approach To Checking Sequence Generation for Finite State Machines (BS, KCT), p. 391–?.
- IWPC-1998-BechiniT #concurrent #design #dynamic analysis #java #tool support
- Design of a Toolset for Dynamic Analysis of Concurrent Java Program (AB, KCT), pp. 190–197.
- ISSTA-1996-KoppolT #approach #concurrent #incremental #testing
- An Incremental Approach to Structural Testing of Concurrent Software (PVK, KCT), pp. 14–23.
- ESEC-1995-TaiC #concurrent #source code #testing
- A Specification-Based Methology for Testing Concurrent Programs (KCT, RHC), pp. 154–172.
- ICSE-1993-Tai #generative #source code #testing
- Predicate-Based Test Generation for Computer Programs (KCT), pp. 267–276.
- SEI-1988-Tai #concurrent
- A Course on Software Enigneering for Concurrent Systems (KCT), pp. 106–119.
- ICSE-1984-Tai #complexity #data flow #graph #metric
- A Program Complexity Metric Based on Data Flow Information in Control Graphs (KCT), pp. 239–249.