Sciweavers

ESOP
2010
Springer
16 years 3 days ago
Testing Polymorphic Properties
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
Jean-Philippe Bernardy, Patrik Jansson and Koen Cl...