PRELGAUSKAS, J.; BAREISA, E. Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution. Elektronika ir Elektrotechnika, v. 122, n. 6, p. 19–22, 7 Jun.2012.