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