Testing Java Components based on Algebraic Specifications.

Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu

Browse the full ICST paper archive.