Further reading

There is a massive amount of literature on software validation and testing. A standard text is  [Myers]. As research papers, I recommend  [Doong90] and  [Smith92]. For a further study of the Law of Demeter look at  [LH89].