Assessing test data adequacy through program inference. May 1980, revised Aug. 1981 | lit.salon