Eiginleikapróf lýsir eiginleika sem á alltaf að gilda, t.d. að summa reikningslína sé jöfn heildarupphæð eða að kóðun og afkóðun skili upprunalega textanum. Verkfærið býr svo til fjölda handahófskenndra inntaka og leitar að dæmi sem brýtur regluna. Finnist slíkt dæmi er það einfaldað eins og hægt er.
Aðferðin finnur jaðartilvik sem fólki dettur ekki í hug, eins og tóma lista, neikvæðar tölur eða sérstafi. Dæmi um verkfæri eru Hypothesis fyrir Python og fast-check fyrir JavaScript.