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