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