Comment by quickthrower2

Fibo would be excellent for property testing.

I.e. For all x, Fib(x+2)=Fib(x)+Fib(x+1)

A property based test produces values of x and tests this property (or invariant).

If it fails the framework usually then tries to find the simplest failing case.