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.
Thank you!