| 2008 |
|---|
| 11 | EE | Yu Xia Sun,
Huo Yan Chen,
T. H. Tse:
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes.
CSSE (2) 2008: 708-711 |
| 10 | EE | Huo Yan Chen,
Lin Tan,
T. H. Tse:
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.
CSSE (2) 2008: 747-750 |
| 2007 |
|---|
| 9 | EE | Huo Yan Chen,
Chuang Li,
T. H. Tse:
Transformation of UML interaction diagrams into contract specifications for object-oriented testing.
SMC 2007: 1298-1303 |
| 2005 |
|---|
| 8 | EE | Huo Yan Chen:
The Refined Algorithm ReCDRG to Construct DRG Graph for Object-Oriented Class-Level Testing.
HICSS 2005 |
| 2004 |
|---|
| 7 | EE | Shuang Quan Li,
Huo Yan Chen,
Yu Xia Sun:
A framework of reachability testing for Java multithread programs.
SMC (3) 2004: 2730-2734 |
| 2003 |
|---|
| 6 | EE | Huo Yan Chen,
Yu Xia Sun,
T. H. Tse:
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.
COMPSAC 2003: 198- |
| 2001 |
|---|
| 5 | EE | Huo Yan Chen,
T. H. Tse,
Tsong Yueh Chen:
TACCLE: a methodology for object-oriented software testing at the class and cluster levels.
ACM Trans. Softw. Eng. Methodol. 10(1): 56-109 (2001) |
| 2000 |
|---|
| 4 | EE | Jian-zhu Lu,
Huo Yan Chen:
Improvement of authenticated encryption scheme with (t, n) shared verification.
COMPSAC 2000: 445-448 |
| 3 | | Huo Yan Chen,
T. H. Tse,
Yue Tang Deng:
ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique.
Information & Software Technology 42(10): 677-686 (2000) |
| 1998 |
|---|
| 2 | EE | Huo Yan Chen,
T. H. Tse,
F. T. Chan,
Tsong Yueh Chen:
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.
ACM Trans. Softw. Eng. Methodol. 7(3): 250-295 (1998) |
| 1994 |
|---|
| 1 | | T. H. Tse,
Tsong Yueh Chen,
F. T. Chan,
Huo Yan Chen,
H. L. Xie:
The Application of Prolog to Structured Design.
Softw., Pract. Exper. 24(7): 659-676 (1994) |
