Pex tuleb koodi analüüsimisel vastupidist rada sellele, mida tehakse TDD korral - koodi analüüsides koostatakse testid, millest lastakse läbi erinevad väärtused, millega kood peab töötama ja mis koodi antud kohas katki võivad teha. Kõik need tingimused püüab Pex ise koodi analüüsides tuvastada.