Next generation testing tecrnique for embedded software: abstract semantics analysis | IEEE Conference Publication | IEEE Xplore