“…Programanalysis(PA)isthelargestcategory,asshownbyitssizeinFigure6,with45studiesusing someformofprogramanalysisand17usingitasasolotechnique.Additionally,allothercategories, exceptingempiricalstudies,havesomestudythatutilizeprogramanalysistoachieveitsgoal.Models (MD)andtesting(Tst)arefrequentamongthestudies,beingusedin17studies.Symbolicexecution (SE)ispresentin12studies.Generally,modelsandsymbolicexecutionareusedincombinationwith techniquesfromothercategories;onlythreestudies (Chen,Kalbarczyk,Xu,&Iyer,2003;Hackett, Das, Wang, & Yang, 2006;Hart, Ku, Gurfinkel, Chechik, & Lie, 2008) utilize models and one (Padaryan,Kaushan,&Fedotov,2015)symbolicexecutionwithoutthesupportofothertechniques. ComputationalIntelligence(CI)isusedinsevenstudies;mostofthemincombinationwithprogram analysistechniques.Codeinspection(CoI)isacategoryofonlythreepapers.Finally,empiricalstudies (ES),ingeneral,comprisecomparisonoftools.Asthetoolscomparedutilizedifferentapproaches, wedecidedtocreateacategoryofitsowncomprisingsixstudies.Theexceptionwasastudy (Chen, Dean,&Wagner,2004)thatutilizesasingletoolbasedonmodelsintheempiricalstudy.…”