I have never heard of this term. Google doesn't have that. (The only blow is the question itself.)
The closest I can think of is Model Testing , which is the programming paradigm introduced by Luca Cardelli in 1989 paper on the same heading.
, , , , , - , , , , Erlang .. Haskell.
[EDIT: , . , - , .]
, Google, . , 2003 2006 , , , , Haskell ++.