Automatic correction of certain design errors using mutation technique | IEEE Conference Publication | IEEE Xplore