Registre de correu electrònic: Verification, validation and testing in software engineering