Wasif Afzal har in sin avhandling undersökt hur sökbaserade tekniker kan fungera som stöd i beslutsprocesser och bidra till att kontrollera variationer i verifiering och validering, vilket indirekt skulle förbättra programvarukvalitet.
Verifiering och validering av programvara är viktigt för att uppnå programvarukvalitet, men också en stor del av kostnaderna när man utvecklar programvara. Därför är all stöd i verifiering och validering av programvara en prioriterad och nödvändig verksamhet med tanke på kraven att ständigt leverera mer funktionalitet på kortare tid med bibehållen kvalitet, enligt Wasif Afzal.


