System for automated validation of embedded software in multiple operating configurations | IEEE Conference Publication | IEEE Xplore