88 citations · 436 across the 36 of their papers we have counts for
1 paper · 1 filter
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…