Improving structural coverage of functional tests with checkpoint signature computation | IEEE Conference Publication | IEEE Xplore