  In this article, we propose the definition of specific mutation operators for
testing Geographic Information Systems. We describe the process for applying
the operators and generating mutants, and present a case study where these
mutation operators are applied to two real-world applications.
