Prelgauskas, Bareisa, 2012. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution 122.. https://doi.org/10.5755/j01.eee.122.6.1814