Prelgauskas, J.; Bareisa, E. Generating Unit Tests for Floating Point Embedded Software Using Compositional Dynamic Symbolic Execution. ELEKTRON ELEKTROTECH 2012, 122, 19-22.