Towards a Theory for Integration of Mathematical Verification and Empirical Testing. - Michael R. Lowry; M. Boyd; D. Kulkarni (ASE, 1998)