J. Prelgauskas and E. Bareisa, “Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution”, ELEKTRON ELEKTROTECH, vol. 122, no. 6, pp. 19-22, Jun. 2012.