Added specific tests for the Travis-CI coverage report