Avik Sinha Carol Smidts An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. 173-202 2006 11 Empirical Software Engineering 2 http://dx.doi.org/10.1007/s10664-006-6401-9 db/journals/ese/ese11.html#SinhaS06