Volver a los detalles del artículo Combining symbolic execution and model checking to reduce dynamic program analysis overhead Descargar Descargar PDF