Semiautomated Metamorphic Testing Approach for Geographic Information Systems: An Empirical Study | IEEE Journals & Magazine | IEEE Xplore