Bougé, L. A Proposition for a Theory of Testing: An Abstract Approach to the Testing Process. DPB 1983, 12.