Testing Polymorphic Properties.

Jean-Philippe Bernardy, Patrik Jansson, Koen Claessen

Browse the full ESOP paper archive.