Share This Author
The Tree-to-Tree Correction Problem
- K. Tai
- Computer ScienceJACM
- 1 July 1979
An algorithm is presented which solves the problem of determining the distance from T to T' as measured by the mlmmum cost sequence of edit operaUons needed to transform T into T'.
In-parameter-order: a test generation strategy for pairwise testing
It is shown that the problem of generating a minimum test set for pairwise testing is NP-complete and the implementation of an IPO-based test generation tool is described and some empirical results are shown.
A Test Generation Strategy for Pairwise Testing
A novel test generation strategy for pairwise testing is proposed that requires that for each pair of input parameters of a system, every combination of valid values of these two parameters be covered by at least one test case.
Replay and testing for concurrent programs
The purpose of deterministic execution debugging to to replay executions of a concurrent program so that debugging information can be collected and the process of designing replay tubes is described.
Debugging Concurrent Ada Programs by Deterministic Execution
A language-based approach to deterministic execution debugging of concurrent Ada programs is presented. The approach is to define synchronization (SYN)-sequences of a concurrent Ada program in terms…
Theory of Fault-Based Predicate Testing for Computer Programs
- K. Tai
- MathematicsIEEE Trans. Software Eng.
- 1 August 1996
It is shown that for a compound predicate with n, n>0, AND/OR operators, at most n+2 constraints are needed for BOR testing and at most 2*n+3 constraints for BRO or BRE testing, where each constraint specifies a restriction on the value of each boolean variable or relational expression in the predicate.
Use of sequencing constraints for specification-based testing of concurrent programs
Results indicate that the use of sequencing constraints for specification-based testing of concurrent programs is a promising approach.
Reachability testing: an approach to testing concurrent software
- Gwan-Hwan Hwang, K. Tai, T. Huang
- Computer ScienceProceedings of 1st Asia-Pacific Software…
- 7 December 1994
This work shows how to perform reachability testing of concurrent programs using read and write operations and presents results of empirical studies comparing reachability and nondeterministic testing.
Test order for inter-class integration testing of object-oriented software
A number of desirable properties for interclass test order are proposed and a new inter class test order strategy is presented, in which classes are integrated according to their major and minor level numbers.