PRELGAUSKAS, J.; BAREISA, E. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution. Elektronika ir Elektrotechnika, [S. l.], v. 122, n. 6, p. 19-22, 2012. DOI: 10.5755/j01.eee.122.6.1814. Disponível em: https://eejournal.ktu.lt/index.php/elt/article/view/1814. Acesso em: 25 sep. 2022.