Can generic software be assured? | IEEE Conference Publication | IEEE Xplore