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