Artikeln introducerar Property Based Testing (PBT), exemplifierat av QuickCheck, som en effektiv testmetod där man definierar egenskaper för funktioner istället för att skriva tester för specifika indata. QuickCheck genererar tusentals slumpmässiga indata och kan automatiskt minska felaktiga fall till det enklaste möjliga, vilket underlättar felsökning. En PHP-implementation, php-QuickCheck, diskuteras med ett exempel som visar hur den kan användas för att testa sorteringsfunktioner, trots att biblioteket fortfarande är i sin linda. PBT jämförs med fuzzing, där QuickCheck fokuserar på enskilda funktioner och kända egenskaper, medan fuzzing behandlar programmet som en svart låda. Konceptet har implementerats i många andra programmeringsspråk (t.ex. Python, Clojure, JavaScript, Ruby) och visar potential för framtida UI-testning, särskilt med arkitekturer som Om Next.