New assertion concepts for self-metric software validation. - Leon G. Stucki; Gary L. Foshee (Reliable Software, 1975)