Two approaches to generate non-equivalent ground terms as test cases for object-oriented software.

Huo Yan Chen

Browse the full SMC paper archive.