SciELO - Scientific Electronic Library Online

vol.25 issue3Vulnerability Analysis of Power Systems using Bilevel ProgramingProcesses and Knowledge Management Practices in Production Chains of Colombia author indexsubject indexarticles search
Home Pagealphabetic serial listing  

Services on Demand




Related links

  • On index processCited by Google
  • Have no similar articlesSimilars in SciELO
  • On index processSimilars in Google


Información tecnológica

On-line version ISSN 0718-0764


VIDAL, Cristian L; SCHMAL, Rodolfo F; RIVERO, Sabino  and  VILLARROEL, Rodolfo H. A Review about Symbolic Execution of Computer Programs. Inf. tecnol. [online]. 2014, vol.25, n.3, pp.115-124. ISSN 0718-0764.

The objective of this paper is to present the symbolic execution of programs and its extension, generalized symbolic execution, to indicate the necessary improvements to symbolic execution so that it becomes a practical approach for program verification. Program analysis allows determining levels of software correctness or compliance with the user requirements. There are two approaches for program verification, analytic and dynamic, and, between them, symbolic execution exits which statically analyzes the program source code, and dynamically simulates the execution of executable instructions of programs by means of symbolic input data. In this paper, concepts of program verification, the original proposal of symbolic execution along with their advantages and disadvantages, and the main features of generalized symbolic execution are described. Finally, the main open research areas related to symbolic execution are summarized.

Keywords : software verification; symbolic execution; SymExe; GSE.

        · abstract in Spanish     · text in Spanish     · Spanish ( pdf )