“Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution”, ELEKTRON ELEKTROTECH, vol. 122, no. 6, pp. 19–22, Jun. 2012, doi: 10.5755/j01.eee.122.6.1814.