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