An overview is presented in the abstract
If you are downloading part of the main body, then I would be grateful if you could let me know. Also for identification purposes please make sure you take a copy of the title page (cover.txt). Thank you.
Here are the files:
For those of you who take the trouble to read into the heart of the Theory of Conformance Testing, I have since found a proof that the Unified Tester is indeed a tester for the reduction preorder in the given context. You can download the proof here (it is only a little over 2 pages):
If you have any comments or queries about the thesis, then I shall try my best to answer, time allowing.
- Paul Trafford