How to Improve a set of design validation data by using mutation-based test | IEEE Conference Publication | IEEE Xplore