%0 Journal Article %T IP-XACT based system level mutation testing %A Xie, Tao %A Mueller, Wolfgang %A Letombe, Florian %A , %J 2011 IEEE International High Level Design Validation and Test Workshop %D 2011-11-01 %I IEEE %~ DeepDyve