Prelgauskas, J., and E. Bareisa. “Generating Unit Tests for Floating Point Embedded Software Using Compositional Dynamic Symbolic Execution”. Elektronika ir Elektrotechnika 122, no. 6 (June 7, 2012): 19-22. Accessed September 27, 2022. https://eejournal.ktu.lt/index.php/elt/article/view/1814.