%0 Conference Paper
%B Functional and Logic Programming
%D 2008
%I Springer Berlin Heidelberg
%P 322-336
%T EasyCheck — Test Data for Free
%@ 978-3-540-78969-7