Kuo-Chung Tai

Works (6)

Updated: July 5th, 2023 16:03

2002 journal article

A test generation strategy for pairwise testing

IEEE Transactions on Software Engineering, 28(1), 109–111.

By: K. Tai & Y. Lei

Source: NC State University Libraries
Added: August 6, 2018

2002 article

Incremental integration testing of concurrent programs

Koppol, P. V., Carver, R. H., & Tai, N. K.-C. (2002, June 1). IEEE Transactions on Software Engineering.

By: P. Koppol*, R. Carver* & N. Tai n

author keywords: software testing; concurrent programs; structural testing; incremental testing
topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Formal Methods in Verification
TL;DR: A new type of reachability graph for incremental analysis is defined, called an annotated labeled transition system (ALTS), an LTS annotated with information necessary for deterministic testing, and an ALTS reduction algorithm is proposed and presented. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

2000 chapter

Model checking based on simultaneous reachability analysis

In SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 (Vol. 1885, pp. 34–53). Berlin; New York: Springer.

By: B. Karacali & K. Tai

Source: NC State University Libraries
Added: August 6, 2018

1999 journal article

Interclass test order for object-oriented software

Journal of Object-Oriented Programming, 12(4), 18-.

By: K. Tai & F. Daniels

Source: NC State University Libraries
Added: August 6, 2018

1998 article

Synchronizable test sequences of finite state machines

Tai, K.-C., & Young, Y.-C. (1998, July 1). Computer Networks and ISDN Systems.

By: K. Tai n & Y. Young n

author keywords: finite state machines; communication protocols; test sequence generation; synchronizable test sequences
topics (OpenAlex): Software Testing and Debugging Techniques; VLSI and Analog Circuit Testing; Network Packet Processing and Optimization
TL;DR: Two testing strategies for an FSM are considered: port-based testing, which does not allow testers for the FSM to communic ate with each other, and group-basedTesting, which divides the ports of the F SME into groups and allows the testers for ports in the same group to communicate w ith each other. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

1998 article

Use of sequencing constraints for specification-based testing of concurrent programs

Carver, R. H., & Tai, N. K.-C. (1998, June 1). IEEE Transactions on Software Engineering.

By: R. Carver* & N. Tai n

author keywords: software testing; specification-based testing; concurrent programs; sequencing constraints
topics (OpenAlex): Software Testing and Debugging Techniques; Software Reliability and Analysis Research; Formal Methods in Verification
TL;DR: Results indicate that the use of sequencing constraints for specification-based testing of concurrent programs is a promising approach. (via Semantic Scholar)
Source: Web Of Science
Added: August 6, 2018

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2026) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.