“Generating Unit Tests for Floating Point Embedded Software Using Compositional Dynamic Symbolic Execution”. Elektronika Ir Elektrotechnika, vol. 122, no. 6, June 2012, pp. 19-22, https://doi.org/10.5755/j01.eee.122.6.1814.