A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software. - Huo Yan Chen; Yu Xia Sun; T. H. Tse (COMPSAC, 2003)

A scheme for dynamic detection of concurrent execution of object-oriented software. - Huo Yan Chen; Yu Xia Sun; T. H. Tse (SMC, 2003)

Use object-oriented paradigm to design and implement an algorithm for object-oriented class-level testing. - Yu Xia Sun; Huo Yan Chen (SMC, 2003)

A new approach and CASE tool for object-oriented dynamic tests at cluster-level with data types of pointer and reference. - Yu Xia Sun; Huo Yan Chen (SMC, 2003)

A framework of reachability testing for Java multithread programs. - Shuang Quan Li; Huo Yan Chen; Yu Xia Sun (SMC (3), 2004)

Lean Implementations of Software Testing Tools Using XML Representations of Source Codes. - Yu Xia Sun; Huo Yan Chen; T. H. Tse (CSSE (2), 2008)