BARISAS, D.; MILASIUS, T.; BAREISA, E. Automated Regression Testing using Symbolic Execution. Elektronika ir Elektrotechnika, [S. l.], v. 112, n. 6, p. 101-105, 2011. DOI: 10.5755/j01.eee.112.6.457. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/457. Acesso em: 3 oct. 2024.