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