A Software Testing Method for Microcontrollers | IEEE Conference Publication | IEEE Xplore