What are some good examples of pure Computer Science and Mathematics applications in software QA?
I am looking for some good examples of pure Computer Science and Mathematics applications in software QA. The objective is to create a course for CS and Applied Math students with applications that can be used in both practical and theoretical QA.
Statistics is often used explicitly or implicitly. Some examples:
Analyzing the validity of multiple performance tests results.
Choosing parameter values based on distribution, e.g. uniform vs. normal
Developing test techniques, e.g. a proof that randomness is as good as X wise testing under certain assumptions.