Test Generation for State Retention Logic | IEEE Conference Publication | IEEE Xplore