Prelgauskas, J., and E. Bareisa. 2012. “Generating Unit Tests for Floating Point Embedded Software Using Compositional Dynamic Symbolic Execution”. Elektronika Ir Elektrotechnika 122 (6):19-22. https://doi.org/10.5755/j01.eee.122.6.1814.