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 journal article

Incremental integration testing of concurrent programs

IEEE Transactions on Software Engineering, 28(6), 607–623.

By: P. Koppol, R. Carver & K. Tai

Source: NC State University Libraries
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 journal article

Synchronizable test sequences of finite state machines

Computer Networks and ISDN Systems, 30(12), 1111–1134.

By: K. Tai & Y. Young

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

1998 journal article

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

IEEE Transactions on Software Engineering, 24(6), 471–490.

By: R. Carver & K. Tai

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