Pieter W. M. Koopman. Testing with Functions as Specifications. In Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans, editors, Perspectives of Model-Based Testing, 5.-10. September 2004. Volume 04371 of Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, 2004. [doi]
Abstract is missing.