This question already has an answer here:

In my software engineering course, we recently (briefly) covered testing.

Over the course of the discussion some topics came up that made me wonder about the math underlying software testing (such as finer vs. coarser test sets, using equivalence classes to partition infinite input spaces into "testable" sets, etc).

Are there any resources available exploring the math behind software testing?

merged by maple_shaft Apr 18 '15 at 17:48

This question was merged with Are there any formalized/mathematical theories of software testing? because it is an exact duplicate of that question.

Browse other questions tagged or ask your own question.