Huo Yan Chen

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