(Property-based Testing of Abstract Domains)
Juhendajad: Vesal Vojdani ja Kalmer Apinis
Töö eesmärk on proovida omaduspõhise testimise abil kontrollida, et staatilise analüsaatori abstraktsed domeenid tõepoolest käituvad nagu abstraktsed domeenid. Töös tuleb anda ülevaade abstraktse domeeni mõistest ja uurida kõik võimalused nende korrektset käitumist omaduspõhise testimisega verifitseerida. Näiteks peavad domeenid olema võred ja nende operatsioonid peavad rahuldama teatud matemaatilisi omadusi. Seal on edasi palju võimalusi, kuidas väärtuste simuleerimiseks kasutatud domeene kontrollida. Töö praktilise väljundina tuleks oma ideid Goblinti analüsaatori testimisel katsetada teegiga qcheck ja suure tõenäosusega õnnestub reaalseid vigu analüsaatori koodis leida.