Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu. Testing Java Components based on Algebraic Specifications. In First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008. pages 190-199, IEEE Computer Society, 2008. [doi]