On the generation of scan-based test sets with reachable states for testing under functional operation conditions | IEEE Conference Publication | IEEE Xplore