SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry | IEEE Conference Publication | IEEE Xplore