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