This is not so easy because differentiation can give you a form that is not obviously equal to the integrand. Numerical checking of definite integrals, in addition to errors of roundoff, does not test validity of domains for parameters. It may still be worthwhile to check some results, but it is not a total solution.