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]
@inproceedings{ChenTT08,
title = {A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing},
author = {Huo Yan Chen and Lin Tan and T. H. Tse},
year = {2008},
doi = {10.1109/CSSE.2008.600},
url = {http://dx.doi.org/10.1109/CSSE.2008.600},
tags = {object-oriented programming, testing, algebraic specification, algebra, subject-oriented programming, feature-oriented programming},
researchr = {https://researchr.org/publication/ChenTT08},
cites = {0},
citedby = {0},
pages = {747-750},
booktitle = {International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3336-0},
}