Quantifying software validation: when to stop testing? | IEEE Journals & Magazine | IEEE Xplore