Enviar aquest missatge de text: Software testing for conventional and logic programming