1 paper
Neil Walkinshaw, Gordon Fraser
We can never be certain that a software system is correct simply by testing it, but with every additional successful test we become less uncertain about its correctness. In absence…