Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution. ELEKTRON ELEKTROTECH. 2012;122(6):19-22. doi:10.5755/j01.eee.122.6.1814