Abstract
Environmental bugs are bugs caused by limitations of precision or
capacity in the nvironment of a piece of software. These bugs may be
difficult to activate and even more difficult to find.
This paper reports on a n extension to traditional matational testing
that enables testing specifically for environmental bugs involving integer
arithmetic. This method is both simple and effective, and provides some
insight into other possible extensions of mutation testing methodology
that can be used to expose environmental bugs.