Abstract Introduction: In Chile, intrahepatic cholestasia of pregnancy (ICP) affected 15% of pregnancies in 1960, while in 2002 its incidence was 1.5%; since then, there are no reports in our country regarding its epidemiological and clinical behavior. Objective: Determine the incidence, clinical characteristics and results of ICP in Chile. Method: Retrospective cohort, which includes births with a diagnosis of ICP between 2016 and 2020, prior to the use of bile acid measurement. The incidence of ICP was calculated with respect to the total births of the period, and characteristics were described, as well as maternal and perinatal outcomes. Results: In the period studied, there were 304 pregnant women with a clinical diagnosis of ICP: incidence of 1.44. The gestational age (GA) at diagnosis of ICP was 36 weeks (253 days; IQR: 29), while the gestational age at delivery was 38 weeks (266 days; IQR: 12). The premature birth rate was 22%, 72% of which were premature due to medical indication. It is notable that 16% of all newborns required hospitalization and only one fetal death was recorded. Conclusions: The current incidence of CIE is similar to the last known report in Chile. The management of patients with ICP could explain the low incidence of fetal death reported, but also a high proportion of preterm births and neonatal hospitalization. It is clinically possible that including the measurement of bile acids in the selection of patients who require termination of pregnancy prior to term allows maintaining low fetal mortality rates, reducing the proportion of iatrogenic premature babies.

Resumen Introducción: En Chile, la colestasia intrahepática del embarazo (CIE) afectaba a un 15% de los embarazos en 1960, mientras que en 2002 su incidencia fue del 1,5%; desde entonces no existen reportes en nuestro país respecto a su comportamiento epidemiológico y clínico. Objetivo: Determinar la incidencia, las características clínicas y los resultados de la CIE en Chile. Método: Cohorte retrospectiva de nacimientos asociados a CIE entre 2016 y 2020, previo al uso de la medición de ácidos biliares. Se calcula la incidencia de CIE respecto del total de partos del periodo y se describen las características, además de los resultados maternos y perinatales. Resultados: En el periodo estudiado hubo 304 embarazadas con diagnóstico clínico de CIE: incidencia del 1,44%. La edad gestacional en el momento del diagnóstico de CIE fue de 36 semanas (253 días; RIC: 29), mientras que la edad gestacional al parto fue de 38 semanas (266 días; RIC: 12). La tasa de parto prematuro fue del 22%, correspondiendo el 72% de ellos a indicación médica. Destaca que un 16% del total de los recién nacidos requirieron hospitalización y solo se registró una muerte fetal. Conclusiones: La incidencia actual de CIE es similar a la del último reporte conocido en Chile. El manejo de las pacientes con CIE podría explicar la baja incidencia de óbito fetal reportada, pero también una alta proporción de partos pretérmino y de hospitalización neonatal. Es clínicamente posible que incluir la medición de ácidos biliares en la selección de pacientes que requieran interrupción del embarazo previo al término permita mantener unas bajas tasas de mortalidad fetal, disminuyendo la proporción de prematuros iatrogénicos.

ABSTRACT: This article examines the professional careers of teachers working in different school reintegration and reentry programs within a training context where teachers are not equipped with tools for working in contexts of social and school exclusion and with students with difficulties in their trajectories of school. The research, with a biographical-narrative approach, is based on the experiences of eighteen teachers to understand educational conceptions and practices in school reintegration and reentry programs in Chile. A key finding is the particular analogy that these professionals establish between their personal experiences in contexts of inequality and what their students experience, which, in many cases, reaffirms their reasons for studying pedagogy and working in these programs. In addition, these professionals highlight specific pedagogical links and practices in these environments. It is concluded that the professional biographies of these teachers play a central role in their training and professional performance.

RESUMEN: Este artículo examina las trayectorias profesionales de docentes que trabajan en diferentes programas de reinserción y reingreso escolar dentro de un contexto formativo donde el profesorado no es habilitado con herramientas para el trabajo en contextos de exclusión social y escolar y con estudiantes con dificultades en su trayectoria escolar. La investigación, de enfoque biográfico-narrativo, se basa en las experiencias de dieciocho docentes con el objetivo de comprender las concepciones y prácticas educativas en programas de reinserción y reingreso escolar en Chile. Un hallazgo clave es la particular analogía que estos profesionales establecen entre sus experiencias personales en contextos de desigualdad y lo vivenciado por sus estudiantes, lo que, en muchos casos, reafirma sus motivos de estudiar pedagogía y trabajar en estos programas. Además, estos profesionales resaltan vínculos y prácticas pedagógicas especificas en estos entornos. Se concluye que las biografías de los profesionales de estos docentes juegan un papel central en su formación y desempeño profesional.

Resumen Introducción: Con poca frecuencia se ha reportado el entrenamiento necesario para realizar ultrasonido (US) obstétrico. El objetivo de este estudio fue determinar si el entrenamiento del ultrasonografista influye en la certeza del diagnóstico prenatal de algunas malformaciones congénitas. Métodos: Se llevó a cabo una evaluación retrospectiva de los hallazgos ultrasonográficos prenatales de neonatos que tuvieron malformaciones congénitas en un hospital de referencia pediátrico de tercer nivel. Se realizó al ingreso de neonatos consecutivos en un hospital de referencia de tercer nivel. Se recolectaron y analizaron datos del embarazo y alumbramiento, así como los de los ultrasonidos prenatales (USP) correlacionando con el diagnóstico final. Resultados: Se incluyeron 67 neonatos. Todos tuvieron USP con media de 4.6. Se realizó diagnóstico prenatal en 24 casos (35.8%). Se detectaron 13 malformaciones congénitas, predominando malformación anorectal gastrosquisis. La certeza del USP se asoció con el entrenamiento del individuo que realizó el US y la mayor certeza se encontró cuando lo realizaron ginecólogos y especialistas materno-fetales contra radiólogos y médicos generales (p = 0.005). Los pacientes sin diagnóstico prenatal certero tuvieron mayor riesgo de presentar comorbilidades (riesgo relativo [RR]: 1.65, p = < 0.001, 95% intervalo de confianza [CI]: 1.299-2.106). Conclusiones: En nuestro medio, el diagnóstico prenatal de estas malformaciones está determinado directamente por el entrenamiento de la persona que realiza el ultrasonido.

Abstract Background: The training needed for doing obstetric ultrasounds is rarely reported. The aim of this study was to determine whether the training of the ultrasonographer influences the prenatal diagnostic certainty of some congenital malformations. Methods: We conducted a retrospective evaluation of antepartum sonographic findings of newborn infants found ultimately to have a congenital anomaly in a tertiary level pediatric reference center. Data were collected on admission for consecutive patients at a tertiary-level pediatric reference center. The mother´s pregnancy and birth demographic variables and those of the prenatal ultrasound (PUS) were analyzed and correlated with the final diagnosis. Results: Sixty-seven neonates were included. All cases underwent PUS with a mean of 4.6. Prenatal diagnosis was established in 24 cases (35.8%). Thirteen surgical anomalies were detected, particularly anorectal malformation and gastroschisis. The accuracy of PUS was associated with the training of the physician performing the PUS, whereby PUS with the greatest accuracy were performed by gynecologists and maternal-fetal specialists against radiologists and general practitioners (p = 0.005). Patients without an accurate prenatal diagnosis had a greater risk of presenting comorbidities (relative risk [RR]: 1.65, p = < 0.001, 95% confidence interval [CI]: 1.299-2.106). Conclusions: In our setting, prenatal diagnosis of these malformations is directly determined by the training of the person performing the ultrasound.

Resumen: Introducción: Las manifestaciones clásicas de vasculitis por inmunoglobulina A (IgA) son púrpura palpable sin trombocitopenia, artritis, dolor abdominal y lesión renal; sin embargo, alrededor de 10% de pacientes pueden presentar manifestaciones testiculares. Caso clínico: Se describe el caso de paciente masculino de cuatro años de edad que acude a urgencias por dolor en escroto, dolor a la palpación de testículo izquierdo, ausencia de reflejo cremasteriano, eritema y tumefacción en ambos escrotos. Se realiza ultrasonido testicular evidenciando vasculatura intratesticular y peritesticular bilateral con datos de proceso inflamatorio agudo. Ante la presencia inicial de púrpura palpable y dolor abdominal difuso se integró diagnóstico de vasculitis por IgA con manifestaciones escrotales. Se decidió iniciar tratamiento con esteroide sistémico (prednisolona 1 mg/kg/día), con resolución del cuadro en 48 horas. Conclusiones: En la literatura se reportan casos de manifestaciones escrotales asociados al diagnóstico de vasculitis por IgA, por lo general de forma unilateral tratados habitualmente con esteroide, no existen datos publicados sobre el pronóstico a largo plazo de los pacientes que cursaron con esta manifestación.

Abstract: Introduction: The classic clinical manifestations of inmunoglobulin A (IgA) vasculitis are palpable purpura without thrombocytopenia, arthritis, abdominal pain, and kidney injury, however, around 10% of patients may present scrotal manifestations. Case report: We report the case of a 4-year-old male patient who presented to the emergency room for pain in the scrotum, five days previously with the presence of dermal lesions in both lower extremities and mild abdominal pain, on physical examination found pain on palpation of the left testicle, absence of ipsilateral cremasteric reflex, erythema and swelling in both scrotums, testicular ultrasound was performed showing bilateral intratesticular and peritesticular vasculature with data of an acute scrotal inflammatory process. Given the clinically palpable purpura and abdominal pain, a diagnosis of IgA vasculitis with scrotal manifestations was integrated, according to what is referred to in the literature, it was decided to start treatment with a systemic steroid (methylprednisol 1 mg/kg/day), with the resolution of the condition in 48 hours. Conclusions: In the literature, cases of scrotal manifestations associated with the diagnosis of IgA vasculitis are reported, generally unilaterally treated habitually with steroids, there are no published data on the long-term prognosis of patients who presented with this manifestation.

ABSTRACT Milling is a unit operation widely used in the food industry to turn grains, vegetables and meats into small-sized products. In this context. In this sense, a small-scale hammer mill was designed and built in order to reduce the size of dehydrated carrots and thus obtain a value-added food. Mill parameters such as force, torque and power were determined by theoretical calculations, while operational parameters such as milling coefficient and performance were determined by the carrot milling and sieving process. The force required by the equipment to mill the carrot was 5820 kg*m/s2, whereas the torque and power required by the motor to generate the cuts through the hammers were 34.92 kg*m2/s2 and 989.28 kg*m2/s3, respectively. A performance of 90 % and a milling coefficient of 10 allowed to reduce the diameter of the carrot from 5 cm to 0.5 cm. These results show that the equipment designed and built in this work allows to reduce the size of dehydrated carrot, a process that gives added value to the food and could be consumed as a natural snack.

RESUMEN La molienda es una operación unitaria ampliamente utilizada en la industria alimentaria para transformar granos, vegetales y carnes, a productos con tamaño pequeño. En este sentido, en el presente trabajo se diseñó y construyó un molino de martillos a pequeña escala con el objetivo de reducir el tamaño de zanahoria deshidratada y así, obtener un alimento con valor agregado. Los parámetros del molino como fuerza, torque y potencia se determinaron mediante cálculos teóricos, mientras que los parámetros operacionales como coeficiente de molienda y rendimiento se determinaron mediante el proceso de molienda y tamizado de la zanahoria. La fuerza necesaria del equipo para moler la zanahoria fue 5820 kg*m/s2, mientras que el torque y potencia requerida por el motor para generar los cortes a través de los martillos fueron 34,92 kg*m2/s2 y 989,28 kg*m2/s3, respectivamente. Un rendimiento del 90 % y un coeficiente de molienda de 10 permitió reducir el diámetro de la zanahoria desde 5 cm hasta 0,5 cm. Estos resultados demuestran que el equipo diseñado y construido en este trabajo permite reducir el tamaño de zanahoria deshidratada, proceso que da valor agregado al alimento y que se podría consumir como un snack natural.

Abstract Given its increasing importance, society nowadays requires from professionals not only the specific competencies in each discipline but also the universities are demanded to develop the so-called transversal or generic competencies. The objective of this work is to present the trajectory of a certain program intended to provide generic competencies in undergraduate careers in a state-owned Chilean institution, the University of Talca. This trajectory is over 10 years old since it started in 2006, and is expressed in three versions, where the latter is a possible bottom line example for other undergraduate careers and universities interested in adopting an educative model based on the development of competencies. The methodology utilized is a description research based on a review of the official documentation of the University of Talca, and the background collected by the authors in their condition of professors in a career of engineering. The results achieved so far show a process of continuous improvement and maturation characterized by a clarification of the concept of competency, a significant reduction in the size of PFF, and an effort to combine it with the competencies of basic and professional training (or in a discipline) of each career. Notwithstanding what is mentioned above, conclusion is that there is still room for significant improvements if the aspiration is to consolidate the program.

Resumen Dada su creciente importancia, la sociedad está demandando de los profesionales no solo las competencias específicas asociadas a sus correspondientes disciplinas, sino que además está exigiendo que las universidades también desarrollen las competencias llamadas transversales o genéricas. El objetivo de este trabajo es presentar la trayectoria que ha tenido un particular programa de formación en competencias genéricas dentro de las carreras de pregrado en una universidad estatal chilena, la Universidad de Talca. Esta trayectoria abarca ya más de 10 años desde su inicio en el año 2006, y se expresa en tres versiones, siendo la última un posible ejemplo base para otras carreras de pregrado y universidades interesadas en adoptar un modelo educativo basado en el desarrollo de competencias. La metodología empleada es de investigación descriptiva, en base a una revisión de la documentación oficial de la Universidad de Talca, y antecedentes recogidos por los autores en su condición de profesores de una carrera de ingeniería. Los resultados alcanzados a la fecha revelan un proceso de mejoramiento continuo y de maduración caracterizado por una clarificación del concepto de competencia, una significativa reducción del tamaño del PFF, y de un esfuerzo por articularlo con los componentes de formación básica y profesional o disciplinaria de cada carrera. No obstante lo expuesto, se concluye que aún existe de espacio para significativas mejoras si se aspira a su consolidación.

Abstract: The main objectives of this work are to provide details of an exploratory research about women engineers in Chile and thus present results of the favorable labor situation of women engineers in Chile. The Chilean institutions of higher education offer a wide and varied proposal of higher studies in engineering with several majors. Despite this range of possibilities of studies in engineering, the number of women students is much lower than that of men, a situation not common in other university careers. The results show the relevance of mathematics and science education in primary and secondary school for women who complete an engineering career.

Resumen: Los principales objetivos de este trabajo son entregar detalles de un estudio exploratorio sobre las mujeres ingenieras en Chile y presentar resultados de la positiva realidad laboral en Chile de mujeres ingenieras. Las entidades chilenas de educación superior, ofrecen una amplia y variada propuesta de estudios superiores de ingeniería con diversas especialidades. A pesar del amplio rango de posibilidades de estudios en ingeniería, el número de mujeres estudiantes es mucho menor que los hombres, situación que no es común en otras carreras universitarias. Los resultados muestran la relevancia de la formación matemática y de ciencias tanto en la enseñanza básica y educación media para las mujeres que terminan exitosamente una carrera de ingeniería.

ABSTRACT In this paper, we propose to solve the balanced academic curriculum problem (BACP), which consists of assigning a balanced academic load to academic periods of a curriculum, through an optimization technique based on the attraction of fireflies (FA). Will be solved test instances and real instances in order to measure the performance of the algorithm and to provide a system that simplifies the process of designing a curricular plan in Higher Education Institutions. The obtained results show that the algorithm FA has a fast convergence and finds the optimum known in most of the tests performed.

RESUMEN En este artículo se propone resolver el problema de balanceo de mallas curriculares (BACP), que consiste en la asignación de una carga académica balanceada a periodos académicos de un plan de estudios, mediante una técnica de optimización basada en la atracción de las luciérnagas (FA). Se resolverán tanto instancias de prueba como instancias reales con el fin de medir el rendimiento del algoritmo y entregar un sistema que permita simplificar el proceso de diseño de una malla curricular en las Instituciones de Educación Superior. Los resultados obtenidos muestran que el algoritmo FA tiene una convergencia bastante rápida y encuentra el óptimo conocido en la mayoría de las pruebas realizadas.

The itinerary of recruitment procedures to occupy management positions, both public and private sectors, is a complex process by the level of completeness required in all its stages, from defining the proper competences for the job to the planning and evaluation of those competences. Under current advances in web technology, the main objective of this article is to describe the practical advantages of the web development tool PHP CodeIgniter 3.0 to give a solution in particular. The System for the Recruitment and Managers Selection SRMS v1.0 is presented, starting from the SRMS requirements and structural design, until the implementation and functioning details. Thus, SRMS v1.0 is a web system that supports the processes of recruitment in recruitment contests under a determined professional profile, as the defined required skills for the job. The use of PHP CodeIgniter 3.0 stands out because it, given a correct analysis of requirements and its logical database model, enables a rapid development of web applications.

El itinerario de los procedimientos de selección de personal para ocupar cargos directivos, públicos y privados, es un proceso complejo por el nivel de exhaustividad que se requiere en todas sus fases, desde la definición de las competencias propias del cargo hasta la planificación y la evaluación de las mismas. En el marco de los actuales avances de la tecnología web, el principal objetivo del trabajo es describir las ventajas prácticas de la herramienta de desarrollo web PHP CodeIgniter 3.0 para dar una solución en particular. Se presenta el Sistema de Reclutamiento y Selección de Directivos SRSD v1.0, partiendo de los requerimientos y el diseño estructural de SRSD para luego presentar detalles de su implementación y funcionamiento. De este modo, SRSD v1.0 es un sistema web que apoya los procesos de selección de personal en concursos bajo un perfil profesional determinado, según la definición de competencias necesarias para el cargo. El uso de PHP CodeIgniter 3.0 se destaca ya que, dado un correcto análisis de requerimientos y su modelo lógico de base datos, permite un desarrollo rápido de aplicaciones web.

This work analyzes the relationship among practices of corporative social responsibility CSR, and the financial performance of Ecuadorian companies belonging to the industrial plastic sector. The survey method was applied, a qualitative-quantitative questionnaire with items measured in a Likert scale of five points to pick up information on the use of socially responsible practices, to a sample of 192 companies located in the cities of Quito and Guayaquil, Ecuador. The existence of a correlation of the variables of CSR was determined with the financial indexes. It was also observed that Ecuadorian companies show an intermediate level of implementation of the concept of CSR. This correlation does not show statistically significant dependencies between the CSR index and the financial efficiency. According to the results of this study, a significant relationship does exist between the pillars of social responsibility and return of assets (ROS), and among the pillars of economic and environmental responsibility with regard to the return on equity (ROE).

Este trabajo analiza la relación entre prácticas de responsabilidad social empresarial RSE y el desempeño financiero de compañías ecuatorianas pertenecientes al sector industrial del plástico. Se aplicó el método de encuesta, un cuestionario cualitativo-cuantitativo con ítems medidos en escala Likert de cinco puntos para recoger información del empleo de prácticas socialmente responsables, a una muestra de 192 empresas localizadas en las ciudades de Quito y Guayaquil, Ecuador. Se determinó la existencia de correlación de las variables de RSE con los índices financieros. Además se observó que las empresas ecuatorianas muestran un nivel medio de implementación del concepto de RSE. Esta correlación no muestra dependencias estadísticamente significativas entre el índice de RSE y el desempeño financiero. De acuerdo a los resultados de este estudio, sí existe una relación significativa entre el pilar de responsabilidad social y el rendimiento sobre las ventas o activos (ROS), y entre los pilares de responsabilidad económica y ambiental con respecto al retorno sobre el patrimonio (ROE).

This article presents a comparison of the performance of the tools Hadoop y Giraph for the analysis and processing of large volumes of information or Big Data, with the aim of showing their usefulness for Big Graph processing. The analysis and processing of large volumes of information represents a real challenge nowadays. There already exist Big Data methodologies and free processing tools such as those mentioned above: Hadoop for processing large volumes of data, mainly non-related data, and recently Giraph for processing large graphs or Big Graph. In this comparison, this paper presents an analysis of the execution time cost for the practical implementation of the PageRank algorithm, which classifies Web pages according to their relevance, and of algorithms to find the minimum spanning tree in a graph. Experiments show that the use of Giraph for processing Big Graphs reduces the execution time by 25% with respect to the results obtained using Hadoop.

Este artículo presenta una comparativa del rendimiento de las herramientas Hadoop y Giraph para de procesamiento de grandes volúmenes de información o Big Data con el fin mostrar su utilidad para el procesamiento de Big Graph. El análisis y procesamiento de grandes volúmenes de información representa un verdadero desafío en la actualidad. Ya existen metodologías y herramientas libres para el procesamiento de Big Data como las mencionadas: Hadoop para el procesamiento de grandes volúmenes de datos, principalmente no estructurados, y Giraph para el procesamiento de grandes grafos o Big Graph. En esta comparativa, este trabajo presenta un análisis del costo en tiempo de ejecución práctico de la implementación del algoritmo PageRank, el cual permite clasificar páginas Web según su relevancia, y de algoritmos para encontrar un árbol de expansión mínima en un grafo. Los experimentos muestran que el uso de Giraph para el procesamiento de Big Graph reduce el tiempo de ejecución en un 25% respecto a los resultados con el uso de Hadoop.

The main objective of this article is to present the results of experiments in teaching and learning using an object-oriented programming language. This experiment was performed on students of two secondary schools, one from the city of Viña del Mar and another one from the city of Linares, both in Chile. The experiment showed the potential effects of developing the logic and algorithmic thinking of high school students. This article describes the main properties of the Scratch programming language, as well as its potential advantages to develop the logic and algorithmic thinking of students in Chile, compared to traditional programming languages. Furthermore, this article shows that to perform each of the experiments, practices with the Scratch and its interface is needed. Finally, this work presents the results of the applied experiments and highlights the potential positive impact of using Scratch and developing the algorithmic thinking of students in Chile, before entering the university.

El principal objetivo de este trabajo es presentar los resultados de experimentos de enseñanza y aprendizaje del uso de un lenguaje de programación orientado a objetos. Este experimento fue realizado con estudiantes de un colegio de la ciudad de Viña del Mar y uno de la ciudad de Linares, Chile. El experimento mostró la potencial efectividad en el desarrollo del pensamiento lógico y algorítmico en estudiantes de enseñanza media. Este trabajo describe las principales propiedades del lenguaje de programación Scratch, así como sus ventajas potenciales, respecto a lenguajes de programación tradicionales, para el desarrollo del pensamiento lógico y algorítmico. Además, se muestra que para realizar cada uno de los experimentos es necesario hacer ensayos con la herramienta Scratch y su interfaz. Finalmente, este trabajo presenta los resultados de los experimentos aplicados y resalta el potencial impacto positivo del uso de Scratch y el desarrollo del pensamiento algorítmico de estudiantes en Chile, antes de entrar en la universidad.

This paper studies the user satisfaction of a representative sample of urban elderly who receive hearing aids via the GES program (Explicit Health Guarantees). We used the operational construct of the Health Ministry of Chile, MINSAL clinical guideline No. 56 of 2007, named "Bilateral hearing loss in people of 65 years and older who require earphones", and that defines the items to be evaluated. The so-called "International Survey of Use of Earphones CIRUA" was applied. The sample considered in the study was defined as elderly people who have used the device for more than one year since its delivery. Finally, elderly people value the fact of receiving their hearing aids, recognize its usefulness, and appreciate how it has changed their life and their normal routines. They also indicate that falls have reduced falls and indicate that they have at present a better quality of life.

Este trabajo estudia la satisfacción usuaria de una muestra representativa de adultos mayores urbanos que reciben audífonos por la vía del programa Garantías Explícitas en Salud (GES). Se utilizó el constructo operacional descrito en la guía clínica del Ministerio de Salud de Chile, MINSAL N° 56 del año 2007, llamada "Hipoacusia bilateral en personas de 65 años y más que requieren audífonos", y que define los ítems a evaluar. Se aplicó el "Cuestionario Internacional de Resultado de Uso de Audífonos CIRUA". Se consideró como muestra aquellos individuos que tienen más de un año utilizando el dispositivo desde su entrega. Finalmente, los adultos mayores valoran el haber recibido sus respectivos audífonos, reconocen su utilidad y aprecian cómo les ha cambiado la vida y sus rutinas habituales: También han reducido caídas y manifiestan tener ahora una mejor calidad de vida.

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.

El objetivo de este artículo es presentar la ejecución simbólica de programas y su extensión, ejecución simbólica generalizada, para señalar las mejoras necesarias a la ejecución simbólica para que llegue a ser un enfoque práctico de verificación de programas. El análisis de programas permite determinar niveles de correctitud de software o cumplimiento de los requerimientos de usuario. Existen dos enfoques para la verificación de programas, analítica y dinámica, y en medio de ellas, existe la ejecución simbólica la que estáticamente analiza el código fuente de programas, y dinámicamente simula la ejecución de las instrucciones ejecutables de programas por medio de datos de entrada simbólicos. En este trabajo se describe los conceptos de verificación de programas, la propuesta original de ejecución simbólica junto a sus ventajas y desventajas, y las principales características de ejecución simbólica generalizada. Finalmente, se resumen las principales áreas de investigación que se abren relacionadas con la ejecución simbólica.