We stand with Ukraine

We stand with Ukraine

Huo Yan Chen

According to our database¹, Huo Yan Chen authored at least 28 papers between 1994 and 2013.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2013

Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software.

[BibT_eX]

[DOI]

,

IEEE Trans. Software Eng., 2013

2009

Automatic Generation of Normal Forms for Testing Object-Oriented Software.

[BibT_eX]

[DOI]

,

Proceedings of the Ninth International Conference on Quality Software, 2009

2008

Lean Implementations of Software Testing Tools Using XML Representations of Source Codes.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.

[BibT_eX]

[DOI]

,

,

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Transformation of UML interaction diagrams into contract specifications for object-oriented testing.

[BibT_eX]

[DOI]

,

,

Proceedings of the IEEE International Conference on Systems, 2007

2006

A Tool to Support Automated Testing for Web Application Scenario.

[BibT_eX]

[DOI]

Cheng-hui Huang

,

Proceedings of the IEEE International Conference on Systems, 2006

Two New Kinds of Class Level Mutants for Object-Oriented Programs.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE International Conference on Systems, 2006

2005

A semi-automatic generator for unit testing code files based on JUnit.

[BibT_eX]

[DOI]

Cheng-hui Huang

,

Proceedings of the IEEE International Conference on Systems, 2005

Analysis of potential deadlock in Java multithreaded object-oriented programs.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

The Refined Algorithm ReCDRG to Construct DRG Graph for Object-Oriented Class-Level Testing.

[BibT_eX]

[DOI]

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

2004

A framework of reachability testing for Java multithread programs.

[BibT_eX]

[DOI]

,

,

Proceedings of the IEEE International Conference on Systems, 2004

2003

A new approach and CASE tool for object-oriented dynamic tests at cluster-level with data types of pointer and reference.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE International Conference on Systems, 2003

Use object-oriented paradigm to design and implement an algorithm for object-oriented class-level testing.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE International Conference on Systems, 2003

A scheme for dynamic detection of concurrent execution of object-oriented software.

[BibT_eX]

[DOI]

,

,

Proceedings of the IEEE International Conference on Systems, 2003

An approach for object-oriented cluster-level tests based on UML.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

Algorithm MSEL for determining observational equivalence in object-oriented class-level testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2003

A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.

[BibT_eX]

[DOI]

,

,

Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2002

The design and implementation of a prototype for data flow analysis at the method-level of object-oriented testing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

Race condition and concurrency safety of multithreaded object-oriented programming in Java.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics: Bridging the Digital Divide, Yasmine Hammamet, Tunisia, October 6-9, 2002, 2002

2001

TACCLE: a methodology for object-oriented software testing at the class and cluster levels.

[BibT_eX]

[DOI]

,

,

Tsong Yueh Chen

ACM Trans. Softw. Eng. Methodol., 2001

2000

ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique.

[BibT_eX]

[DOI]

,

,

Inf. Softw. Technol., 2000

The use of class graph to analyze the effectiveness of an approach for object-oriented class-level testing.

[BibT_eX]

[DOI]

,

Proceedings of the IEEE International Conference on Systems, 2000

A dynamic approach for object-oriented cluster-level tests by program instrumentation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Two approaches to generate non-equivalent ground terms as test cases for object-oriented software.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Improvement of authenticated encryption scheme with (t, n) shared verification.

[BibT_eX]

[DOI]

,

Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000

1998

In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.

[BibT_eX]

[DOI]

,

,

,

Tsong Yueh Chen

ACM Trans. Softw. Eng. Methodol., 1998

1994

The Application of Prolog to Structured Design.

[BibT_eX]

[DOI]

,

Tsong Yueh Chen

,

,

,

Softw. Pract. Exp., 1994

An Axiom-based Test Case Selection Strategy for Object-oriented Programs.

[BibT_eX]

,

,

Proceedings of the Software Quality and Productivity: Theory, 1994

Loading...