A necessary a n d sufficient condition is given for p a r t i t i o n testing to be better t h a n r a n d o m testing. Partition testing is an approach to program testing in which the input domain of the program is divided into partitions and test cases are selected from these partitions. A number of papers have attempted to clarify the relation between… (More)
We study two grid centered-difference discretization schemes for both linear and nonlinear eigenvalue problems, where the Lanczos type algorithms, namely MINRES and SYMMLQ are used as linear solvers. Numerical experiments on some test problems are reported.