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

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. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 747-750, IEEE Computer Society, 2008. [doi]

Authors

Huo Yan Chen

This author has not been identified. Look up 'Huo Yan Chen' in Google

Lin Tan

This author has not been identified. Look up 'Lin Tan' in Google

T. H. Tse

This author has not been identified. It may be one of the following persons: Look up 'T. H. Tse' in Google