Prelgauskas J, Bareisa E. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution. ELEKTRON ELEKTROTECH [Internet]. 2012 Jun. 7 [cited 2026 Jan. 22];122(6):19-22. Available from: https://eejournal.ktu.lt/index.php/elt/article/view/1814