Zaslat SMS: Mapeo sistemático y estudio de caso sobre técnicas de generación automática de pruebas