SPIRIT: a highly robust combinational test generation algorithm | IEEE Conference Publication | IEEE Xplore