Huo Yan Chen

Publication Activity (10 Years)

Years Active: 1994-2013
Publications (10 Years): 0

Top Topics

Regression Testing

Object Oriented Software

Software Architecture

Top Venues

IEEE Trans. Software Eng.

Publications

Huo Yan Chen, T. H. Tse
Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software. IEEE Trans. Software Eng. 39 (11) (2013)
Huo Yan Chen, T. H. Tse
Automatic Generation of Normal Forms for Testing Object-Oriented Software. QSIC (2009)
Yu Xia Sun, Huo Yan Chen, T. H. Tse
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes. CSSE (2) (2008)
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)
Huo Yan Chen, Chuang Li, T. H. Tse
Transformation of UML interaction diagrams into contract specifications for object-oriented testing. SMC (2007)
Huo Yan Chen, Su Hu
Two New Kinds of Class Level Mutants for Object-Oriented Programs. SMC (2006)
Cheng-hui Huang, Huo Yan Chen
A Tool to Support Automated Testing for Web Application Scenario. SMC (2006)
Huo Yan Chen
The Refined Algorithm ReCDRG to Construct DRG Graph for Object-Oriented Class-Level Testing. HICSS (2005)
Cheng-hui Huang, Huo Yan Chen
A semi-automatic generator for unit testing code files based on JUnit. SMC (2005)
Huo Yan Chen
Analysis of potential deadlock in Java multithreaded object-oriented programs. SMC (2005)
Shuang Quan Li, Huo Yan Chen, Yu Xia Sun
A framework of reachability testing for Java multithread programs. SMC (3) (2004)
Huo Yan Chen
Algorithm MSEL for determining observational equivalence in object-oriented class-level testing. SMC (2003)
Huo Yan Chen, Yu Xia Sun, T. H. Tse
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software. COMPSAC (2003)
Huo Yan Chen, Yu Xia Sun, T. H. Tse
A scheme for dynamic detection of concurrent execution of object-oriented software. SMC (2003)
Yu Xia Sun, Huo Yan Chen
A new approach and CASE tool for object-oriented dynamic tests at cluster-level with data types of pointer and reference. SMC (2003)
Huo Yan Chen
An approach for object-oriented cluster-level tests based on UML. SMC (2003)
Yu Xia Sun, Huo Yan Chen
Use object-oriented paradigm to design and implement an algorithm for object-oriented class-level testing. SMC (2003)
Huo Yan Chen
Race condition and concurrency safety of multithreaded object-oriented programming in Java. SMC (2002)
Huo Yan Chen
The design and implementation of a prototype for data flow analysis at the method-level of object-oriented testing. SMC (2002)
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) (2001)
Huo Yan Chen, T. H. Tse, Yue Tang Deng
ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique. Inf. Softw. Technol. 42 (10) (2000)
Huo Yan Chen
A dynamic approach for object-oriented cluster-level tests by program instrumentation. SMC (2000)
Huo Yan Chen
Two approaches to generate non-equivalent ground terms as test cases for object-oriented software. SMC (2000)
Huo Yan Chen, Jian-Zhu Lu
The use of class graph to analyze the effectiveness of an approach for object-oriented class-level testing. SMC (2000)
Jian-Zhu Lu, Huo Yan Chen
Improvement of authenticated encryption scheme with (t, n) shared verification. COMPSAC (2000)
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) (1998)
T. H. Tse, Tsong Yueh Chen, F. T. Chan, Huo Yan Chen, H. L. Xie
The Application of Prolog to Structured Design. Softw. Pract. Exp. 24 (7) (1994)
T. H. Tse, F. T. Chan, Huo Yan Chen
An Axiom-based Test Case Selection Strategy for Object-oriented Programs. Software Quality and Productivity (1994)