Semantik-bevarande program transformationer, såsom refaktorings och optimeringar, kan ha en betydande inverkan på effektiviteten av symboliska utförande testning och analys. Dessutom kan semantik-bevarande transformationer som ökar prestandan av inhemsk avrättning i själva verket minska skalbarheten av symbolisk avrättning. På liknande sätt kan semantik-förändrande omvandlingar, såsom typförändringar och objektstorleksändringar, ofta leda till betydande förbättringar i testning effektivitet uppnås genom symboliskt utförande i det ursprungliga programmet. Som ett resultat av detta hävdar vi att man bör behandla programomvandlingar som förstklassiga ingredienser i skalbar symbolisk exekvering, vid sidan av allmänt accepterade aspekter såsom sökheuristik och begränsningslösning optimeringar. För det första föreslår vi att förstå effekten av befintliga programomvandlingar på symboliskt utförande, att öka skalbarheten och förbättra experimentell design och reproducerbarhet. För det andra argumenterar vi för utformningen av testability transformationer som är särskilt inriktade på mer skalbara symboliska utförande.
Efter Harman et al. spekulerade Cadar att programomvandlingar kan förbättra skalbarheten av symboliskt utförande i en position papper REF.
Targeted program transformations for symbolic execution
{'venue': 'ESEC/FSE 2015', 'journal': None, 'mag_field_of_study': ['Computer Science']}