A survey of new trends in symbolic execution for software testing and analysis

dc.contributor.authorPasareanu, Corina S.
dc.contributor.authorVisser, Willem
dc.identifier.citationPasareanu, C. S. & Visser, W. 2009. A survey of new trends in symbolic execution for software testing and analysis. International Journal on Software Tools for Technology Transfer, 11(4):339-353, doi:10.1007/s10009-009-0118-1.en_ZA
dc.identifier.issn1433-2787 (online)
dc.identifier.issn1433-2779 (print)
dc.descriptionThe original publication is available at
dc.description.abstractSymbolic execution is a well-known program analysis technique which represents program inputs with symbolic values instead of concrete, initialized, data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide here a survey of some of the new research trends in sym- bolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input recursive data structures, arrays, as well as multith- reading. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision proce- dures for the application domain. We follow with a dis- cussion of techniques that can be used to limit the (possi- bly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping pro- grams. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.en_ZA
dc.format.extent15 p.
dc.publisherSpringer Verlagen_ZA
dc.subjectSymbolic valuesen_ZA
dc.subjectSymbolic executionen_ZA
dc.subjectComputer programmingen_ZA
dc.subjectComputer software -- Testingen_ZA
dc.titleA survey of new trends in symbolic execution for software testing and analysisen_ZA
dc.rights.holderSpringer Verlagen_ZA

Files in this item


This item appears in the following Collection(s)