Bo Yu Liang Kong Yufeng Zhang Hong Zhu Testing Java Components based on Algebraic Specifications. 190-199 2008 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2008.39 conf/icst/2008 db/conf/icst/icst2008.html#YuKZZ08