Finder: Automatic ICC Data Reconstruction for Long-Term Runtime Semantics | IEEE Conference Publication | IEEE Xplore