Extending the FSMD Framework for Validating Code Motions of Array-Handling Programs | IEEE Journals & Magazine | IEEE Xplore