Prelgauskas, J., Kaunas University of Technology, Lithuania
-
Elektronika ir Elektrotechnika Vol. 122 No. 6 (2012) - SYSTEM ENGINEERING, COMPUTER TECHNOLOGY
Generating Unit Tests for Floating Point Embedded Software using Compositional Dynamic Symbolic Execution
Abstract PDF