Automated test generation for post silicon microcontroller validation | IEEE Conference Publication | IEEE Xplore