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